problem with 32bits