> 
> Yes but ws itself isn't aligned either:
>    (dbx) print ws
>    ws = 0xffffffff7bb00044
> which is IMHO the issue.
> 
> Align ws and everything goes well (at least I think :p ).
> 

It better! :)

Reply via email to