__STACKSIZE__ = 16384; __START_ADDR__ = 0x80000000;