/* CPU: FDI_TX */