* Output code that process the out propagations