% First empty module with the shared syntax interface.