#runtime-specification