#include "hal_common.h"

#include 

//int main(int argc, char *argv[])
int main(void)
{
  printf("invoked main()\n");
  asw_main();
}