/**
 * Some commonly used HTTP verbs.
 */
string httpVerb() {
  result = "get" or
  result = "put" or
  result = "post" or
  result = "delete"
}