src/vs/workbench/api/browser/mainThreadTerminalService.ts/MainThreadTerminalService/_getTerminalId
class MainThreadTerminalService:	private _getTerminalId(id: TerminalIdentifier): number | undefined {
		if (typeof id === 'number') {
			return id;
		}
		return this._extHostTerminalIds.get(id);
	}