6.7.1 InstInput