vchoi_fork

Fix code that made GCC complain about a NULL or `unsigned char *` arguments for
"%s".

XXX The duplication between test/ros3.c test/s3comms.c is really annoying.