Added inst to dsl.