{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"self.to_uint(Size::from_bits(64)).map(|v|"}]}
        self.to_uint(Size::from_bits(64)).map(|v| u64::try_from(v).unwrap())
    pub fn to_u64(self) -> InterpResult<'tcx, u64> {
    }