synthetic_bootaux
synthetic_bootaux(filename, bootaux);
static void synthetic_bootaux(char *, val_t *);