I have never seen this syntax