char version[] = "strace -- version 4.1";