A recursive procedure that can NOT be written in a loop so as to maintain state information is this type of process