Basic GGP protocol processing; "manual" player