#0  0x00007f7003a17b20 in ?? ()
No symbol table info available.
#1  0x00007f7003a1669f in ?? ()
No symbol table info available.
#2  0x00007f7003a14524 in main ()
No symbol table info available.