let @main : u56 in {
    0
}