Module test.

Rule compare given x as Int, produce Int:
  Return 100.