start :: fn {
    blob A { a: int }
}