declaration and symbol stubs