ref: 5961a8b6d2f95e29c0b7b0b450eb988763b12c40 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); }