pub const INVALID_BODY_HANDLE: u32 = std::u32::MAX - 1; // 0xffff_fffeu32