#include "framework.h"

BEGIN_TEST(double)
    c = ((double)a + (double)b);
END_TESTF64()