Fix definition of pos in kadai3_13.v