#include "bbcpri.h"

int main(int argc,char *argv[]){
  int a;

  a = 1034;

  cprintf(AT_BOLD|FG_RED|AT_UNDER,"TEST : %d\n",a);

}