#!/bin/mksh
echo "mksh"
