<shachaf> mkx bin/as-encoding//echo "$1" | as -o /tmp/out.o - && objdump -d /tmp/out.o | grep -P \'^ *\\d+:\' | sed \'s/^[^\\t]*\\t//; s/ *\\t/: /g\'

char s[99],*p[9],**q;main(){for(;q=p,*q++=strtok(gets(s)," ");fork()||execvp(*p,p),wait(0))for(;*q++=strtok(0," "););}