(S5 (s32-T