fillInValue(BasicStream os, int pos, int value)
 {
     os.rewriteInt(value, pos);
 }