/* Ensure version macros are present */#include <testfwk.h>#ifdef __SDCCunsigned int major = __SDCC_VERSION_MAJOR;unsigned int minor = __SDCC_VERSION_MINOR;unsigned int patch = __SDCC_VERSION_PATCH;unsigned int revision = __SDCC_REVISION;#endifvoidtestVersion(void){}