#include "hal_common.h"
#include 

int main(void)
{
  printf("invoking asw_main()\n");
  asw_main();
}