Add a definition for debugging