brun '(divmod () ())'
FAIL: divmod with 0 ()
