start :: fn { a := A() b := B() c := C() b2 := B() a b c b2 blob A { c: C } blob C { } blob B { } }