% Second empty module with the shared syntax interface.