change int32 to int18 in record format