x :: Int
x = 1

y :: Int
y = 2

test_h_FAIL =
    assertEqual 4 5