ex4 0.4.1 restructure Xanadu linked messages to use new stative model properly, as specified in m4_system