{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"///"}]}
    /// called function should usually have done). In the latter case, it is
    /// just proceed (which usually means this hook did all the work that the
    /// this hook's responsibility to advance the instruction pointer!