#!/bin/sh

PS4=${SHELLSPEC_PS4:-$PS4}
echo "SHELLSPEC_PS4: $SHELLSPEC_PS4"
echo "SH_XTRACEFD: $SH_XTRACEFD"
