let @main : i64 in {
    0
}