import kernel

fun foo do 1.output