Example = ProcId_rd *EOF*.
ProcId_rd = <from> ProcId "/" <dest> ProcId.   
ProcId = <id> Integer.

Main = .