Displace some code to header file

All communication encapsulations are going to the header file to provide maximal
generality (we want to exchange more than just Array<int>).