if type "pypy" > /dev/null; then
    python="pypy"
else
    python="python"
fi