punched paper tape in a machine