pub fn pack_functor(functor: u32, arity: u32) -> u64
Pack a STR header cell: functor id in the high half, arity in the low.