# CHERI Huge page memory allocator