Fixed a bug in pop_s in instrs.sk