#include <stdio.h>
#include <unistd.h>
#include <stdlib.h>

int main() {
    char *msg = "Hello world!";
    char *N = "\n";
    int rbx = 12;
    loop_start:
    if (rbx == 0) {
        goto loop_end;
    }
    write(1,msg,rbx);
    write(1,N,1);
    rbx--;
    goto loop_start;
    loop_end:
    return 0;
}