python. Slightly improved interface generated code, #151.