* avoids double inclusion of this header