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