==================== Tidy Core ====================
Result size of Tidy Core
  = {terms: 55, types: 22, coercions: 0, joins: 0/0}

$trModule4 = "main"#

$trModule3 = TrNameS $trModule4

$trModule2 = "T16402"#

$trModule1 = TrNameS $trModule2

$trModule = Module $trModule3 $trModule1

smallWord_bar
  = \ x ->
      case x of { W64# x# ->
      W64#
        (int64ToWord64#
           (intToInt64# (word2Int# (and# (word64ToWord# x#) 0xffff##))))
      }

smallWord_foo = smallWord_bar

smallInt_bar
  = \ x ->
      case x of { I64# x1 ->
      I64# (intToInt64# (int16ToInt# (intToInt16# (int64ToInt# x1))))
      }

smallInt_foo
  = \ x ->
      case x of { I64# x# ->
      I64#
        (intToInt64#
           (int16ToInt#
              (intToInt16#
                 (int64ToInt#
                    (word64ToInt64# (and64# (int64ToWord64# x#) 0x0012ffff##64))))))
      }