/* return SDCC build number */
const char *getBuildNumber (void);
+/* return SDCC build date */
+const char *getBuildDate (void);
+
+/* return environment used to build SDCC */
+const char *getBuildEnvironment(void);
+
/* snprintf, by hook or by crook. */
size_t SDCCsnprintf (char *, size_t, const char *, ...);