fully 64-bit flisp