I'd rather the (only) client of this function checked for `specified_tracefile != NULL` before calling into this function - this construct is a bit weird otherwise.