function main() -> (u32) {
    return 1
}