void fixup_init(void);