reserve for revenue bond retirement