#! /bin/sh echo "$CHOST"