.CIRCUIT file extension