Aloys — male given name