spec dynamic interfaces for #700