(in-package "STR")
(include-book "strtok")
(include-book "std/testing/assert-bang" :dir :system)
(assert! (equal (strtok "foo bar baz, heyo, beyo" (list #\ #\, #\ )) (list "foo" "bar" "baz" "heyo" "beyo")))