Rating:
Make regs symbolic to leak flag.
https://bannsecurity.com/index.php/home/10-ctf-writeups/52-defcon-quals-2019-baby-trace
I don't remember
