Delete instructions.h