[BUG #7810] add load-time annotation for scopes