#!/bin/sh
exec x86_64-redhat-linux-gcc-13 -m32 "$@"
