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

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