Examples for INST-INT