Explain the shape of a function generated by the MIR interpreter.