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