VLIB_US_STATE [
  alaska {return("AK")}
  alabama {return("AL")}
  arkansas {return("AR")}
  arizona {return("AZ")}
  california {return("CA")}
  colorado {return("CO")}
  connecticut {return("CT")}
  [ ( ?washington d c ) 
    ( ?washington ?the district of columbia )
  ] {return("DC")}
  delaware {return("DE")}
  florida {return("FL")}
  georgia {return("GA")}
  hawaii {return("HI")}
  iowa {return("IA")}
  idaho {return("ID")}
  illinois {return("IL")}
  indiana {return("IN")}
  kansas {return("KS")}
  kentucky {return("KY")}
  louisiana {return("LA")}
  massachusetts {return("MA")}
  maryland {return("MD")}
  maine {return("ME")}
  michigan {return("MI")}
  minnesota {return("MN")}
  missouri {return("MO")}
  mississippi {return("MS")}
  montana {return("MT")}
  ( north carolina ) {return("NC")}
  ( north dakota ) {return("ND")}
  nebraska {return("NE")}
  ( new hampshire ) {return("NH")}
  ( new jersey ) {return("NJ")}
  ( new mexico ) {return("NM")}
  nevada {return("NV")}
  ( new york ) {return("NY")}
  ohio {return("OH")}
  oklahoma {return("OK")}
  oregon {return("OR")}
  pennsylvania {return("PA")}
  ( rhode island ) {return("RI")}
  ( south carolina ) {return("SC")}
  ( south dakota ) {return("SD")}
  tennessee {return("TN")}
  texas {return("TX")}
  utah {return("UT")}
  virginia {return("VA")}
  vermont {return("VT")}
  washington {return("WA")}
  wisconsin {return("WI")}
  ( west virginia ) {return("WV")}
  wyoming {return("WY")}
  ( puerto rico ) {return("PR")}
]