void warningf(warning_t, const source_position_t *pos, const char *fmt, ...);
NORETURN internal_errorf(const source_position_t *pos, const char *fmt, ...);
void warningf(warning_t, const source_position_t *pos, const char *fmt, ...);
NORETURN internal_errorf(const source_position_t *pos, const char *fmt, ...);