REVERT THIS BEFORE UPDATE ion: Rename heap_mask when used in
 userspace