brun '(strlen)'
FAIL: strlen takes exactly 1 argument ()
