Split out stubs used only in the dynamic semantics.
Split out stubs for standard views.