import CEI, Sys, Time

func t():
    Sys::println("reading time")
    return Time::current().sec

func main():
    Sys::println($<CEI::lift(t())>)
    Sys::println(t())

    Sys::println([| 2 |])
    Sys::println(CEI::lift(2))
    Sys::println(CEI::iint(2).src_infos)