;; -*-theme-d-*-

;; Copyright (C) 2014  Tommi Höynälänmaa
;; Distributed under GNU General Public License version 3,
;; see file doc/GPL-3.

;; Expected results: compilation OK


(define-body (tests test224)


  (define make-bytevector
    (prim-proc make-bytevector (<integer> <integer>) <bytevector> (pure)))


  (define bytevector-length
    (prim-proc bytevector-length (<bytevector>) <integer> (pure)))


  (define bytevector-u8-ref
    (prim-proc bytevector-u8-ref (<bytevector> <integer>) <integer> (pure)))


  (define bytevector-u8-set!
    (prim-proc bytevector-u8-set! (<bytevector> <integer> <integer>) <none>
	       (nonpure))))
