(; ; ) -> (;;)