1 2 3 4 5 6 7
package demo type Good: km/h [0.0..250.0] ] } = garbage 99 type AlsoGood: integer [0..255]