init_args: at 0xf000, to .init8