{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // always considered in bounds in GCC (TODO(antoyo): to be verified).
        // NOTE: we cannot use array indexing here like in inbounds_gep because array indexing is
        // So, we have to cast to a number.