let @main : void in {
    0
}