pub const USERCALL_USER_DEFINED: u64 = 2147483648;
Usercall numbers with this bit set will never be defined by this specification.