Edit File: faulty.h