let
descr =
"replace expressions by constants even when doing so requires a pointer cast"