let string_of_action = function
  Insert -> "0"
| Delete -> "1"
| Update -> "2"