Update fixed_alloc.h