initial int encoding