add instruction for constants in prob.c