{"ast_node_type":"other","tokens":[{"end":65,"kind":"keyword","start":0,"text":"//"}]}
    // gap between the start of the body and the first real span.
    // Otherwise, add a fake span at the start of the body, to avoid an ugly
    // FIXME: Find a more principled way to solve this problem.