Symbol: SWITCH_STACK_SIZE