/* sysdep: +hasattribute */