BEGIN {
  value["Ada"] = 12
  delete value["Ada"]
  print ("Ada" in value)
}