var BIOS = xdc.useModule('ti.sysbios.BIOS');