Unit and benchmark test usage of ::= and :=.