x32 porting