rand : -- Int
     =: [ 17 ]