int x(t)*diracdelta(t-7)*dt