{"ast_node_type":"function","tokens":[{"end":49,"kind":"keyword","start":0,"text":"fn"}]}
    fn int_ty_max(&self, int_ty: IntTy) -> u128 {
    /// Get the maximum value of int_ty. It is platform-dependent due to the byte size of isize
        match int_ty {