#! /bin/bash

echo -e DEBUG="$DEBUG"
echo -e ELFNAME="$ELFNAME"
echo -e ELF_NAME_LEVEL="$ELF_NAME_LEVEL"