avoid bad alignment for int type