Testing contract export