# protect against aliasing
string s=uint32 a
