https://peeterjoot.com/2023/12/08/letting-a-gdb-controlled-program-read-from-stdin/