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