Currently they are hard-coded. The mock-extension base passes the "program" argument to the DAP launch args, and we'll have to add a prompt in the extension itself to ask for the data file to use (this functionality is discussed in the mock-debug docs).