#! /bin/sh
exec $(dirname $0)/ppu-embed -m32 ${1+"$@"}
