{"ast_node_type":"other","tokens":[{"end":42,"kind":"keyword","start":0,"text":"self.to_uint(Size::from_bits(128))"}]}
        self.to_uint(Size::from_bits(128))
    pub fn to_u128(self) -> InterpResult<'tcx, u128> {
    }