#include "../include/stdio.h"
void hlt(){
while (1);
}
int main(){
hlt();
//put_char('A');
return 0;