Simply implementation of parse_inst()