Re: GPC on ARM7tdmi problems: libos-hack,