/* MACHINE GENERATED */


/* fdtolib.c            */