__STACKSIZE__ = 8192;