#include <tce/syscall.h>

extern int main(char **args);

void start(char **args) {
	int ret = main(args);
	process_exit(ret);
}