{"ast_node_type":"other","tokens":[{"end":98,"kind":"keyword","start":0,"text":"//"}]}
        // FIXME: if we ever support 512bit integers, this will be wrong! For such large integers,
        // are masked off so their value does not matter.
        // the extra bits introduced by zext are *not* all masked away any more.