main = when (funMainLib 41 /= funInternal 43) $ error "test failed"
main = when (funMainLib 41 /= funInternal 43) $ error "test failed"
main = when (funMainLib 41 /= funInternal 43) $ error "test failed"