[Skyscraper (2018)] Hacking the skyscraper control system with gdb(1)