Examples of emitting method body in a strong-typed compile-safe way