Upstream:builtins-s390.cc