# Copyright 2005-2007 Kevin Reid, under the terms of the MIT X license
# found at http://www.opensource.org/licenses/mit-license.html ................

  ? int.getTheTrivialValue()
  # value: 0
  
  ? (int >= 0).getTheTrivialValue()
  # value: 0
  
  ? (int > 0).getTheTrivialValue()
  # problem: trivial value 0 is not available in region (int >= 1)
  
  ? (-3..30).getTheTrivialValue()
  # value: 0
  
  ? (1..5).getTheTrivialValue()
  # problem: trivial value 0 is not available in region 1..!6
  
  ? def SubrangeGuard := <elib:slot.SubrangeGuard>; null
  
  ? 1..!10 :SubrangeGuard[<import:org.cubik.cle.prim.int>]
  # value: 1..!10
  
  ? 1..!10 :SubrangeGuard[DeepFrozen]
  # value: 1..!10
  
  ? 1..!10 :SubrangeGuard[<import:org.cubik.cle.prim.char>]
  # problem: 1..!10 isn't approved as a SubrangeGuard[char]
  
  ? 'a'..!'z' :SubrangeGuard[<import:org.cubik.cle.prim.char>]
  # value: a..!z