SQUASH ME: turning on DEVELHELP must not change the API