(cw "Timing read-byte$ ~x0 ~x1" *SIZE* *FILE*)
(time (time-read-byte$ *SIZE* *FILE* state)) 
(time (time-read-byte$ *SIZE* *FILE* state)) 
(time (time-read-byte$ *SIZE* *FILE* state)) 
(time (time-read-byte$ *SIZE* *FILE* state)) 

(cw "Timing read-8s ~x0 ~x1" *SIZE* *FILE*)
(time (time-read-8s *SIZE* *FILE* state))
(time (time-read-8s *SIZE* *FILE* state))
(time (time-read-8s *SIZE* *FILE* state))
(time (time-read-8s *SIZE* *FILE* state))

(cw "Timing read-16ube ~x0 ~x1" (/ *SIZE* 2) *FILE*)
(time (time-read-16ube (/ *SIZE* 2) *FILE* state))
(time (time-read-16ube (/ *SIZE* 2) *FILE* state))
(time (time-read-16ube (/ *SIZE* 2) *FILE* state))
(time (time-read-16ube (/ *SIZE* 2) *FILE* state))

(cw "Timing read-16ule ~x0 ~x1" (/ *SIZE* 2) *FILE*)
(time (time-read-16ule (/ *SIZE* 2) *FILE* state))
(time (time-read-16ule (/ *SIZE* 2) *FILE* state))
(time (time-read-16ule (/ *SIZE* 2) *FILE* state))
(time (time-read-16ule (/ *SIZE* 2) *FILE* state))

(cw "Timing read-16sbe ~x0 ~x1" (/ *SIZE* 2) *FILE*)
(time (time-read-16sbe (/ *SIZE* 2) *FILE* state))
(time (time-read-16sbe (/ *SIZE* 2) *FILE* state))
(time (time-read-16sbe (/ *SIZE* 2) *FILE* state))
(time (time-read-16sbe (/ *SIZE* 2) *FILE* state))

(cw "Timing read-16sle ~x0 ~x1" (/ *SIZE* 2) *FILE*)
(time (time-read-16sle (/ *SIZE* 2) *FILE* state)) 
(time (time-read-16sle (/ *SIZE* 2) *FILE* state)) 
(time (time-read-16sle (/ *SIZE* 2) *FILE* state)) 
(time (time-read-16sle (/ *SIZE* 2) *FILE* state)) 

(cw "Timing read-32ube ~x0 ~x1" (/ *SIZE* 4) *FILE*)
(time (time-read-32ube (/ *SIZE* 4) *FILE* state))
(time (time-read-32ube (/ *SIZE* 4) *FILE* state))
(time (time-read-32ube (/ *SIZE* 4) *FILE* state))
(time (time-read-32ube (/ *SIZE* 4) *FILE* state))

(cw "Timing read-32ule ~x0 ~x1" (/ *SIZE* 4) *FILE*)
(time (time-read-32ule (/ *SIZE* 4) *FILE* state))
(time (time-read-32ule (/ *SIZE* 4) *FILE* state))
(time (time-read-32ule (/ *SIZE* 4) *FILE* state))
(time (time-read-32ule (/ *SIZE* 4) *FILE* state))

(cw "Timing read-32sbe ~x0 ~x1" (/ *SIZE* 4) *FILE*)
(time (time-read-32sbe (/ *SIZE* 4) *FILE* state)) 
(time (time-read-32sbe (/ *SIZE* 4) *FILE* state)) 
(time (time-read-32sbe (/ *SIZE* 4) *FILE* state)) 
(time (time-read-32sbe (/ *SIZE* 4) *FILE* state)) 

(cw "Timing read-32sle ~x0 ~x1" (/ *SIZE* 4) *FILE*)
(time (time-read-32sle (/ *SIZE* 4) *FILE* state)) 
(time (time-read-32sle (/ *SIZE* 4) *FILE* state)) 
(time (time-read-32sle (/ *SIZE* 4) *FILE* state)) 
(time (time-read-32sle (/ *SIZE* 4) *FILE* state)) 


