#!/usr/bin/env tcl
echo ok