#include "../include/stdio.h"

void hlt(){
    while (1);
}

int main(){
    printf("User application %d\n",12);
    return -1;
}