{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"//"}]}
                            // might be null.
                            // this a pointer is not to leak the integer value, so we say everything
                            return interp_ok(true);