[int_19h]

The official Python VSCode extension from Microsoft is itself a further development of that one (indeed, you can still see that it's a fork on GitHub: https://github.com/microsoft/vscode-python).