#include int main(int argc, char **argv) { printf(UTS_RELEASE"\n"); return(0); }