#include <dux/io.h>
#include <dux/thr.h>
#include <iostream>

int main() {
	::std::cout << "dux " << dux_api << '.' << dux_ext << ", demo" << ::std::endl;
}