{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
    // Note: It's important that we actually delete the old file and not just
    // Delete the old file, if any.
    // truncate and overwrite it, since it might be a shared hard-link, the