This should be HOPKINS_HOPKINS_H