Add the code for inst