Is this file ever used?