diff --git a/src/ikarus.boot b/src/ikarus.boot
index 5f89535..90e8fcc 100644
Binary files a/src/ikarus.boot and b/src/ikarus.boot differ
diff --git a/src/ikarus.trace.ss b/src/ikarus.trace.ss
index 2c6d900..7b066bc 100644
--- a/src/ikarus.trace.ss
+++ b/src/ikarus.trace.ss
@@ -1,10 +1,7 @@
 
 (library (ikarus trace)
   (export make-traced-procedure trace-symbol! untrace-symbol!)
-  (import
-    (only (scheme) top-level-bound? set-top-level-value!
-          top-level-value)
-    (ikarus))
+  (import (ikarus))
 
   (define k* '())
   
@@ -63,7 +60,7 @@
       (cond
         [(assq s traced-symbols) =>
          (lambda (pr)
-           (let ([a (cdr pr)] [v (top-level-value s)])
+           (let ([a (cdr pr)] [v (symbol-value s)])
              (unless (eq? (cdr a) v)
                (unless (procedure? v)
                  (error 'trace
@@ -72,18 +69,18 @@
                (let ([p (make-traced-procedure s v)])
                  (set-car! a v)
                  (set-cdr! a p)
-                 (set-top-level-value! s p)))))]
+                 (set-symbol-value! s p)))))]
         [else
-         (unless (top-level-bound? s)
+         (unless (symbol-bound? s)
            (error 'trace "~s is unbound" s))
-         (let ([v (top-level-value s)])
+         (let ([v (symbol-value s)])
            (unless (procedure? v)
              (error 'trace "the top-level value of ~s is ~s (not a procedure)"
                     s v))
            (let ([p (make-traced-procedure s v)])
              (set! traced-symbols 
                (cons (cons s (cons v p)) traced-symbols))
-             (set-top-level-value! s p)))])))
+             (set-symbol-value! s p)))])))
   
   (define untrace-symbol!
     (lambda (s)
@@ -93,8 +90,8 @@
             [(null? ls) '()]
             [(eq? s (caar ls))
              (let ([a (cdar ls)])
-               (when (eq? (cdr a) (top-level-value s))
-                 (set-top-level-value! s (car a)))
+               (when (eq? (cdr a) (symbol-value s))
+                 (set-symbol-value! s (car a)))
                (cdr ls))]
             [else (cons (car ls) (loop (cdr ls)))])))
       (set! traced-symbols (loop traced-symbols))))
diff --git a/src/ikarus.vectors.ss b/src/ikarus.vectors.ss
index 5cf9884..92057bf 100644
--- a/src/ikarus.vectors.ss
+++ b/src/ikarus.vectors.ss
@@ -6,9 +6,9 @@
     (except (ikarus) make-vector vector 
             vector-length vector-ref vector-set!
             vector->list list->vector)
-    (only (scheme)
-          $fx= $fx>= $fx< $fx<= $fx+ $fxadd1 $fxsub1 $fxzero? $car $cdr 
-          $vector-set! $vector-ref $make-vector $vector-length))
+    (ikarus system $fx)
+    (ikarus system $pairs)
+    (ikarus system $vectors))
 
 
   (define vector-length
diff --git a/src/ikarus.writer.ss b/src/ikarus.writer.ss
index 1278740..a412a8e 100644
--- a/src/ikarus.writer.ss
+++ b/src/ikarus.writer.ss
@@ -8,9 +8,7 @@
     (ikarus system $strings)
     (ikarus system $fx)
     (ikarus system $pairs)
-    (only (scheme) 
-          $forward-ptr?
-          $unbound-object?)
+    (ikarus system $symbols)
     (except (ikarus) write display format printf print-error
             error-handler error))
 
@@ -375,9 +373,9 @@
         [($unbound-object? x)
          (write-char* "#<unbound-object>" p)
          i]
-        [($forward-ptr? x)
-         (write-char* "#<forward-ptr>" p)
-         i]
+       ;;; [($forward-ptr? x) FIXME reinstate
+       ;;;  (write-char* "#<forward-ptr>" p)
+       ;;;  i]
         [(number? x)
          (write-char* (number->string x) p)
          i]