import junit.framework.*;

ruleset r
{
  float t = 4.0f;
}