Pass all test (but regression about function type)