match s, t variable; e-var not implemented yet