definition module Communication;

import StdEnv;

ReceiveReq :: !Bool !Int -> !String;