{"ast_node_type":"other","tokens":[{"end":34,"kind":"keyword","start":0,"text":"///"}]}
/// (i.e., the "start" lang item).
/// Obtain the `argc` and `argv` values to pass to the rust start function
fn get_argc_argv<'a, 'tcx, Bx: BuilderMethods<'a, 'tcx>>(bx: &mut Bx) -> (Bx::Value, Bx::Value) {