(echo '#!'`which xmetoo`' -n' ;\
 (seca $1|  awk '/def _ops/,/-----/ {next} {print}') ; echo '(!)') > $2
chmod a+x $2