[bitfolk] 64 or 32 bits?