ref: 21d0ffbbf001fd209208e33503890ad6847105db dir: /nhello.c/
#include <u.h> #include <libc.h> char c; int n; void main() { read(0, &c, 1); n = c-'0'; while(n-- > 0) write(1, "Hola mundo.\n", 12); exits(0); }