introduced <var> token