i1 : source o1 = source o1 : MethodFunction
i2 : functionBody source o2 = <<a compiled function body>> o2 : CompiledFunctionBody
The object CompiledFunctionBody is a type, with ancestor class Thing.