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