let update_current current_table kinstr v = try update_current_exn current_table kinstr v with State_imp.Unchanged -> ()