Module demo.

Rule greet given name,  produce:
  Return 0.