backward counting program