(define size-of-type
  (lambda (type)
    (cond ((eq? type 'int8) (c-sizeof int8_t))
          ((eq? type 'uint8) (c-sizeof uint8_t))
          ((eq? type 'int16) (c-sizeof int16_t))
          ((eq? type 'uint16) (c-sizeof uint16_t))
          ((eq? type 'int32) (c-sizeof int32_t))
          ((eq? type 'uint32) (c-sizeof uint32_t))
          ((eq? type 'int64) (c-sizeof int64_t))
          ((eq? type 'uint64) (c-sizeof uint64_t))
          ((eq? type 'char) (c-sizeof char))
          ((eq? type 'unsigned-char) (c-sizeof char))
          ((eq? type 'short) (c-sizeof short))
          ((eq? type 'unsigned-short) (c-sizeof unsigned-short))
          ((eq? type 'int) (c-sizeof int))
          ((eq? type 'unsigned-int) (c-sizeof unsigned-int))
          ((eq? type 'long) (c-sizeof long))
          ((eq? type 'unsigned-long) (c-sizeof unsigned-long))
          ((eq? type 'float) (c-sizeof float))
          ((eq? type 'double) (c-sizeof double))
          ((eq? type 'pointer) (c-sizeof void*))
          ((eq? type 'callback) (c-sizeof void*))
          ((eq? type 'void) 0)
          (else #f))))

(define align-of-type
  (lambda (type)
    (cond ((eq? type 'int8) (alignof:int8_t))
          ((eq? type 'uint8) (alignof:int8_t))
          ((eq? type 'int16) (alignof:int16_t))
          ((eq? type 'uint16) (alignof:int16_t))
          ((eq? type 'int32) (alignof:int32_t))
          ((eq? type 'uint32) (alignof:int32_t))
          ((eq? type 'int64) (alignof:int64_t))
          ((eq? type 'uint64) (alignof:int64_t))
          ((eq? type 'char) (alignof:int8_t))
          ((eq? type 'unsigned-char) (alignof:int8_t))
          ((eq? type 'short) (alignof:short))
          ((eq? type 'unsigned-short) (alignof:short))
          ((eq? type 'int) (alignof:int))
          ((eq? type 'unsigned-int) (alignof:int))
          ((eq? type 'long) (alignof:long))
          ((eq? type 'unsigned-long) (alignof:long))
          ((eq? type 'float) (alignof:float))
          ((eq? type 'double) (alignof:double))
          ((eq? type 'pointer) (alignof:void*))
          ((eq? type 'callback) (alignof:void*))
          ((eq? type 'void) 0)
          (else #f))))

(define c-bytevector?
  (lambda (object)
    (number? object)))

(define c-bytevector-u8-set!
  (lambda (c-bytevector k byte)
    ;; Ypsilon for some reason does not have bytevector-c-uint8-set!
    ;; or other bytevector-c-u*-set! procedures so we use
    ;; bytevector-c-int8-set!
    (bytevector-c-int8-set! (make-bytevector-mapping (+ c-bytevector k)
                                                     (c-type-size 'uint8))
                            0
                            byte)))

(define c-bytevector-u8-ref
  (lambda (c-bytevector k)
      (bytevector-c-uint8-ref (make-bytevector-mapping (+ c-bytevector k)
                                                      (c-type-size 'uint8))
                             0)))

(define c-bytevector-pointer-set!
  (lambda (c-bytevector k pointer)
    (bytevector-c-void*-set! (make-bytevector-mapping (+ c-bytevector k)
                                                      (c-type-size 'pointer))
                             0
                             pointer)))

(define c-bytevector-pointer-ref
  (lambda (c-bytevector k)
    (bytevector-c-void*-ref (make-bytevector-mapping (+ c-bytevector k)
                                                     (c-type-size 'pointer))
                            0)))

(define shared-object-load
  (lambda (path options)
    (load-shared-object path)))

(define-macro
  (define-c-procedure scheme-name shared-object c-name return-type argument-types)
  (begin
    (let ((type->native-type
            (lambda (type)
              (cond ((equal? type 'int8) 'int8_t)
                    ((equal? type 'uint8) 'uint8_t)
                    ((equal? type 'int16) 'int16_t)
                    ((equal? type 'uint16) 'uint16_t)
                    ((equal? type 'int32) 'int32_t)
                    ((equal? type 'uint32) 'uint32_t)
                    ((equal? type 'int64) 'int64_t)
                    ((equal? type 'uint64) 'uint64_t)
                    ((equal? type 'char) 'char)
                    ((equal? type 'unsigned-char) 'char)
                    ((equal? type 'short) 'short)
                    ((equal? type 'unsigned-short) 'unsigned-short)
                    ((equal? type 'int) 'int)
                    ((equal? type 'unsigned-int) 'unsigned-int)
                    ((equal? type 'long) 'long)
                    ((equal? type 'unsigned-long) 'unsigned-long)
                    ((equal? type 'float) 'float)
                    ((equal? type 'double) 'double)
                    ((equal? type 'pointer) 'void*)
                    ((equal? type 'void) 'void)
                    ((equal? type 'callback) 'void*)
                    (else (error "type->native-type -- No such type" type))))))
      `(define ,scheme-name
         (c-function ,(type->native-type (cadr return-type))
                     ,(cadr c-name)
                     ,(map type->native-type (cadr argument-types)))))))

(define-macro
  (define-c-callback scheme-name return-type argument-types procedure)
  (let* ((type->native-type
           (lambda (type)
             (cond ((equal? type 'int8) 'int8_t)
                   ((equal? type 'uint8) 'uint8_t)
                   ((equal? type 'int16) 'int16_t)
                   ((equal? type 'uint16) 'uint16_t)
                   ((equal? type 'int32) 'int32_t)
                   ((equal? type 'uint32) 'uint32_t)
                   ((equal? type 'int64) 'int64_t)
                   ((equal? type 'uint64) 'uint64_t)
                   ((equal? type 'char) 'char)
                   ((equal? type 'unsigned-char) 'char)
                   ((equal? type 'short) 'short)
                   ((equal? type 'unsigned-short) 'unsigned-short)
                   ((equal? type 'int) 'int)
                   ((equal? type 'unsigned-int) 'unsigned-int)
                   ((equal? type 'long) 'long)
                   ((equal? type 'unsigned-long) 'unsigned-long)
                   ((equal? type 'float) 'float)
                   ((equal? type 'double) 'double)
                   ((equal? type 'pointer) 'void*)
                   ((equal? type 'void) 'void)
                   ((equal? type 'callback) 'void*)
                   (else (error "type->native-type -- No such type" type)))))
         (native-return-type (type->native-type (cadr return-type)))
         (native-argument-types (map type->native-type (cadr argument-types))))
    `(define ,scheme-name
       (c-callback ,native-return-type ,native-argument-types ,procedure))))