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