428905da6ec4 ("tools/nolibc: sys.h: add a syscall return helper")