# Copyright 2005 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