This is a harmless security test proof file.