Transpilation output of #1030602