qed: mark symbols static where possible