tests/test-573.cs

   1 public class C
   2 {
   3         private static float current_factor_width = 1f;
   4
   5         public static void Main ()
   6         {
   7                 int width = 5;
   8                 width += -(int)(((current_factor_width) - 1f) * -4.0f);
   9         }
  10 }