/* in 64bits */