for arg;do
if test "$arg" = major; then echo 9; continue; fi
if test "$arg" = minor; then echo 0; continue; fi
if test "$arg" = micro; then echo 3; continue; fi
if test "$arg" = version; then echo 9.0.3; continue; fi
echo Bad arg to $0: $arg
done