another place where we can safely use plain int