HomeIsabelle/Phabricator

more uniform use of Byte_Message;