Proto syntax.