// just means //, no lexing element whatsoever