# 64BITS is not set