let rel_cmd_impl_names = [
    Post,  "post" ;
    Pre,   "pre" ;
    Mixed"mixed"
  ]