attribute declarations