pub fn sign_extend(size: u64, value: u128) -> u128