(define-constant-default ptr-bits 64)

(define-constant-default typedef-ptr "uint64_t") ; not "void *"
(define-constant-default typedef-iptr "int64_t")
(define-constant-default typedef-uptr "uint64_t")

(define-constant align-rpheader #t)
