{"ast_node_type":"other","tokens":[{"end":57,"kind":"keyword","start":0,"text":"//"}]}
        // are masked off so their value does not matter.
        // anyway so the result is `31` as it should be. All the extra bits introduced by zext
        // FIXME: if we ever support 512bit integers, this will be wrong! For such large integers,