hole está declarada en alloc.c.