Used for debugging