added sequence counter for inst