import ToInt8 = require("../2024/ToInt8");
export = ToInt8;