Fixing some builtin imports
Add syscall wrappers, move user prog to c