#!/bin/sh exec mred main.ss "$@"