Top-level messages are not inlined anymore