Module demo.trailingws.    

Rule id, produce:      
  Return 1.