LogicBlox, Inc.
main {
  lb.Fail(msg = "Failed")
}