bad-syscall.c revision dc1fd725
1