function main() {
    console.log("", 1u32);
}