(srtc.c) Uniquely name static variables