When using C167 simulation and double precision arithmetic, I ran into a problem. Things didn't seem to be working properly, so I inspected the generated assembly and found that the user stack pointer becomes corrupted, off by 6 bytes. Has anyone seen this problem?