port to x32
transmute integer