{"ast_node_type":"variable","tokens":[{"end":44,"kind":"keyword","start":0,"text":"let"}]}
    let (min, max) = int_ty_range(int_type);
    let int_type = t.normalize(cx.sess().target.pointer_width);
    let max = max as u128;