I've never seen that syntax before