import lib.* fun main() { get { Box("OK").value } }