Default number of steps for the step-limited environment
(define default-steps (make-parameter 1000))