public static int test_56_double () { DoubleDelegate l = new DoubleDelegate (double_delegate); return (int)l (55); }
public static int test_56_double() { DoubleDelegate l = new DoubleDelegate(double_delegate); return((int)l(55)); }