type BelowFive = range[0 .. 4] var health:BelowFive = 0 health = health.succ(100) Run
type BelowFive = range[0 .. 4] var health:BelowFive = 0 health = health.succ(100)