Add CHECKED_ALLOC macro.