Arsenius — male given name (Арсен)