Editing: posix_types_x32.ph