Ensure unsafe memory allocation is marked as checked