function main() {
    print!("", 1u32);
}