constant seg_bss_start($8005D2E0)


constant rmonthread($8005D2E0)


constant idlethread($8005D490)


constant mainthread($8005D640)


constant shedthread($8005D7F0)


constant audithread($8005E530)


constant debugthread($80060C90)


constant __osBaseTimer($80068DF0)


constant bss_80069170($80069170)


constant seg_bss_end($8008E360)