// Warning: the binary protocol will need to be fixed, as there will be a synchronization problem