{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"argv.push(std::ptr::null());"}]}
    argv.push(std::ptr::null());
    // useful as some dynamic linkers use it as a marker to jump over.