timing_test(function() {
  at(0.25, function() {
    assert_styles('#a', {'left':'200px'});
  }, "Autogenerated test for #a at t=3.25");
  at(0.5, function() {
    assert_styles('#a', {'left':'300px'});
  }, "Autogenerated test for #a at t=3.5");
  at(0.75, function() {
    assert_styles('#a', {'left':'400px'});
  }, "Autogenerated test for #a at t=3.75");
  at(1, function() {
    assert_styles('#a', {'left':'100px'});
  }, "Autogenerated test for #a at t=4");
  at(1.25, function() {
    assert_styles('#a', {'left':'400px'});
  }, "Autogenerated test for #a at t=4.25");
  at(1.5, function() {
    assert_styles('#a', {'left':'300px'});
  }, "Autogenerated test for #a at t=4.5");
  at(1.75, function() {
    assert_styles('#a', {'left':'200px'});
  }, "Autogenerated test for #a at t=4.75");
  at(2, function() {
    assert_styles('#a', {'left':'100px'});
  }, "Autogenerated test for #a at t=5");
  at(2.25, function() {
    assert_styles('#a', {'left':'200px'});
  }, "Autogenerated test for #a at t=5.25");
  at(2.5, function() {
    assert_styles('#a', {'left':'300px'});
  }, "Autogenerated test for #a at t=5.5");
  at(2.75, function() {
    assert_styles('#a', {'left':'400px'});
  }, "Autogenerated test for #a at t=5.75");
  at(3.0, function() {
    assert_styles('#a', {'left':'100px'});
  }, "Autogenerated test for #a at t=6.0");
  at(4.0, function() {
    assert_styles('#a', {'left':'100px'});
  }, "Autogenerated test for #a at t=7.0");
}, "Autogenerated checks.");
