Add gen_alloc.h and gen_allocdefs.h