{"ast_node_type":"other","tokens":[{"end":59,"kind":"keyword","start":0,"text":"///"}]}
/// `argv[0]` must be removed prior to calling it manually.
/// If this function is intended to be used with command line arguments,
#[allow(rustc::untranslatable_diagnostic)] // FIXME: make this translatable