import ToInt32 = require("../2023/ToInt32");
export = ToInt32;