“Prior service”: Service rendered prior to July 1, 1939.