(defvar r5rs-standard-procedures
  '(boolean? pair? symbol? char? string? vector? port? procedure?
             ;; 6.1 Equivalence predicates
             eqv? eq? equal?
             ;; 6.2.5 Numerical operations
             number? complex? real? rational? integer? exact? inexact?
             zero? positive? negative? odd? even?
             max min abs quotient remainder modulo gcd lcm
             numerator denominator floor ceiling truncate round
             rationalize exp log sin cos tan asin acos atan sqrt expt
             make-rectangular make-polar real-part imag-part magnitude angle
             exact->inexact inexact->exact
             ;; 6.2.6 Numerical input and output
             number->string string->number
             ;; 6.3.1 Booleans
             not boolean?
             ;; 6.3.2 Pairs and lists
             cons set-car! set-cdr! null? list? list length
             append reverse list-tail list-ref memq memv member
             assq assv assoc
             ;; 6.3.3 Symbols
             symbol->string string->symbol
             ;; 6.3.4 Characters
             char=? char<? char>? char<=? char >=?
             char-ci=? char-ci<? char-ci>? char-ci<=? char-ci>=?
             char-alphabetic? char-numeric? char-whitespace?
             char-uppercase? char-lowercase? char->integer integer->char
             char-upcase char-downcase
             ;; 6.3.5 Strings
             make-string string string-length string-ref string-set!
             string=? string-ci=? string<? string>? string<=? string>=?
             string-ci<? string-ci>? string-ci<=? string-ci>=? substring
             string-append string->list list->string string-copy string-fill!
             ;; 6.3.6 Vectors
             make-vector vector vector-length vector-ref vector-set!
             vector->list list->vector vector-fill!
             ;; 6.4 Control features
             apply map for-each force delay
             call-with-current-continuation call/cc
             values call-with-values dynamic-wind
             ;; 6.5 Eval
             eval
             scheme-report-environment null-environment interaction-environment
             ;; 6.6.1 Ports
             call-with-input-file call-with-output-file
             input-port? output-port?
             current-input-port current-output-port
             with-input-from-file with-output-to-file
             open-input-file open-output-file
             close-input-port close-output-port
             ;; 6.6.2 Input
             read read-char peek-char eof-object? char-ready?
             ;; 6.6.3 Output
             write display newline write-char
             ;; 6.6.4 System interface
             load transcript-on transcript-off))