get line 1001 of transpilation of #1001789