Comment by forlorn

  op describe {name, role} (
    print "user: " + name + " (" + role + ")";
  )

Strange choice of brackets usage