factorial program is committed