racket ffi: revise testing section