Allocation checks (IBMALLOC)