#include <u.h>#include <libc.h> voidprintabcd(int a, int b, int c, int d){	print("%d %d %d %d\n", a, b, c, d);} voidmain(int argc, char **argv){	printabcd(atoi(argv[0]), atoi(argv[1]), atoi(argv[2]), atoi(argv[3]));}