Module demo.bom.

Rule greet given name, produce:
  Return 0.