Make main loop require known-size messages