[PATCH] C undefined behavior fix

[dewar@gnat.com]

perhaps the right construct is an attribute on a pointer variable that
says essentially: use the bits, forget the provenance.