Willy — male given name