module @some.ns {
       %1 = "serene.define" (): () -> i32
}