instrumentation:initial_specification