#!/bin/sh
echo NOT stripping: $*
