#include <fstream>
int main(int argc, char** argv) {
    if (argc != 2) return 1;
    std::ofstream("launched.txt") << argv[1];
    return 0;
}