Re: [bitfolk] 64 or 32 bits?