fun int:main() {
    ret 56 as int
}