start :: fn { blob A { } a : A = A() a }