{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"//"}]}
    // due to this.
    // require dereferenceability also require non-null, we don't actually get any false negatives
    // The value we are validating is temporary and discarded at the end of this function, so