#! /bin/sh ./factor.com "$@"