#include<common/test.h>START(pid,tid,d0,d1,d2,d3){UNUSED(d2);UNUSED(d3);printf("pid = %ld, tid = %ld, d0 = %ld, d1 = %ld\n",pid,tid,d0,d1);check(pid==0,"unexpected pid for exec\n");check(tid==2,"unexpected tid for exec\n");check(d0==SYS_USER_SPAWNED,"unexpected d0 for exec\n");check(d1==2,"unexpected d1 for exec\n");ok();}