script {
    // check: fn main() -> bool, !1 {
    fn main() -> bool, !1 {
        entry():
        // check: v0 = const bool true, !2
        v0 = const bool true, !2
        // check: cbr v0, block1(v0), block0(v0), !3
        cbr v0, block1(v0), block0(v0), !3

        block0(v1: bool):
        // check: v2 = call f(), !4
        v2 = call f(), !4
        // check: br block1(v2), !3
        br block1(v2), !3

        block1(v3: bool):
        ret bool v3
    }

    // check: fn f() -> bool, !4 {
    fn f() -> bool, !4 {
        entry():
        v0 = const bool false
        ret bool v0
    }
}

// check: !0 = "a string\\n"
// check: !1 = !0
// check: !2 = a_struct !0 11 22 !1
// check: !3 = (!1 !2)
// check: !4 = 12345

!0 = "a string\\n"
!1 = !0
!2 = a_struct !0 11 22 !1
!3 = (!1 !2)
!4 = 12345