A few more additions to the directory structure in preparation for the formal message specifications