Variable leuConst

leu: HUnit = ...