static inline const char *get_basefile_from_header(void){  return __BASE_FILE__;} static inline const char *get_file_from_header(void){  return __FILE__;}