Only emit extra T_SLASH tokens for "//".