CHECK: spaces preferred around that '<<' (ctx:VxV)