double declaration