[7m PS4 [0;0m

For 'set -o xtrace'.  The leading character is special.
