let doInstr _ i _lvh =
      let action = lvh_handle_inst i in
      DF.Post(action)