alias semantic: des_alias