Lane splitters with @pure