declare const types2 = "num_tool";