* s-lib/main.rkt: Fix test