I need to be able to use VeryHigh in user-code-land