Here I want the variable HEIGHT_ENABLER from the stdlib Basics, but it doesn't show up! 