def libc_start_main(m, **kargs):
"tags: func_call"
m[cpu.rip] = m(cpu.rdi)
cpu.push(m, cpu.ext("exit", size=64))
def __libc_start_main(m,**kargs):
"tags: func_call"
m[cpu.rip] = m(cpu.rdi)
cpu.push(m,cpu.ext('exit',size=64))
