double-declaration