fun main () = return
# 123