(bind-func vprint "print a packed i32* buffer" (lambda (buf len) (vprint:[void,i32*,i64,i64]* buf len 1)))