diff --git a/collects/mysterx/private/mxmain.rkt b/collects/mysterx/private/mxmain.rkt
index 382a7af6a7..acaaed77f3 100644
--- a/collects/mysterx/private/mxmain.rkt
+++ b/collects/mysterx/private/mxmain.rkt
@@ -1,575 +1,301 @@
-(module mxmain mzscheme
+#lang racket/base
 
-  ; dummy entries to make Setup happy
-  ; these are the names defined in mxPrims[] in src/mysterx.cxx
+(error "mxmain.rkt: you seem to be missing mxmain.dll; you need to build MysterX in plt\\src\\mysterx\\")
 
-  (provide
-   mx-version
-   block-while-browsers
-   com-invoke
-   com-set-property!
-   com-get-property
-   com-get-properties
-   com-set-properties
-   com-methods
-   com-events
-   com-method-type
-   com-get-property-type
-   com-set-property-type
-   com-event-type
-   com-help
-   com-object-type
-   com-is-a?
-   com-currency?
-   com-date?
-   com-date->date
-   date->com-date
-   com-scode?
-   com-scode->number
-   number->com-scode
-   com-currency->number
-   number->com-currency
-   com-object?
-   com-iunknown?
-   com-register-event-handler
-   com-unregister-event-handler
-   com-all-coclasses
-   com-all-controls
-   coclass->html
-   progid->html
-   cocreate-instance-from-coclass
-   cocreate-instance-from-progid
-   com-get-active-object-from-coclass
-   coclass
-   progid
-   set-coclass!
-   set-coclass-from-progid!
-   com-object-eq?
-   com-register-object
-   com-release-object
-   com-add-ref
-   com-ref-count
-   com-terminate
-   make-browser
-   browser-show
-   navigate
-   go-back
-   go-forward
-   refresh
-   iconize
-   restore
-   current-url
-   register-navigate-handler
-   current-document
-   print-document
-   document?
-   document-title
-   document-insert-html
-   document-append-html
-   document-replace-html
-   document-find-element
-   document-find-element-by-id-or-name
-   document-elements-with-tag
-   document-objects
-   element-insert-html
-   element-append-html
-   element-insert-text
-   element-append-text
-   element-replace-html
-   element-get-html
-   element-get-text
-   element-focus
-   element-selection
-   element-set-selection!
-   element-attribute
-   element-set-attribute!
-   element-click
-   element-tag
-   element-font-family
-   element-set-font-family!
-   element-font-style
-   element-set-font-style!
-   element-font-variant
-   element-set-font-variant!
-   element-font-weight
-   element-set-font-weight!
-   element-font
-   element-set-font!
-   element-background
-   element-set-background!
-   element-background-attachment
-   element-set-background-attachment!
-   element-background-image
-   element-set-background-image!
-   element-background-repeat
-   element-set-background-repeat!
-   element-background-position
-   element-set-background-position!
-   element-text-decoration
-   element-set-text-decoration!
-   element-text-transform
-   element-set-text-transform!
-   element-text-align
-   element-set-text-align!
-   element-margin
-   element-set-margin!
-   element-padding
-   element-set-padding!
-   element-border
-   element-set-border!
-   element-border-top
-   element-set-border-top!
-   element-border-bottom
-   element-set-border-bottom!
-   element-border-left
-   element-set-border-left!
-   element-border-right
-   element-set-border-right!
-   element-border-color
-   element-set-border-color!
-   element-border-width
-   element-set-border-width!
-   element-border-style
-   element-set-border-style!
-   element-border-top-style
-   element-set-border-top-style!
-   element-border-bottom-style
-   element-set-border-bottom-style!
-   element-border-left-style
-   element-set-border-left-style!
-   element-border-right-style
-   element-set-border-right-style!
-   element-style-float
-   element-set-style-float!
-   element-clear
-   element-set-clear!
-   element-display
-   element-set-display!
-   element-visibility
-   element-set-visibility!
-   element-list-style-type
-   element-set-list-style-type!
-   element-list-style-position
-   element-set-list-style-position!
-   element-list-style-image
-   element-set-list-style-image!
-   element-list-style
-   element-set-list-style!
-   element-position
-   element-overflow
-   element-set-overflow!
-   element-pagebreak-before
-   element-set-pagebreak-before!
-   element-pagebreak-after
-   element-set-pagebreak-after!
-   element-css-text
-   element-set-css-text!
-   element-cursor
-   element-set-cursor!
-   element-clip
-   element-set-clip!
-   element-filter
-   element-set-filter!
-   element-style-string
-   element-text-decoration-none
-   element-set-text-decoration-none!
-   element-text-decoration-underline
-   element-set-text-decoration-underline!
-   element-text-decoration-overline
-   element-set-text-decoration-overline!
-   element-text-decoration-linethrough
-   element-set-text-decoration-linethrough!
-   element-text-decoration-blink
-   element-set-text-decoration-blink!
-   element-pixel-top
-   element-set-pixel-top!
-   element-pixel-left
-   element-set-pixel-left!
-   element-pixel-width
-   element-set-pixel-width!
-   element-pixel-height
-   element-set-pixel-height!
-   element-pos-top
-   element-set-pos-top!
-   element-pos-left
-   element-set-pos-left!
-   element-pos-width
-   element-set-pos-width!
-   element-pos-height
-   element-set-pos-height!
-   element-font-size
-   element-set-font-size!
-   element-color
-   element-set-color!
-   element-background-color
-   element-set-background-color!
-   element-background-position-x
-   element-set-background-position-x!
-   element-background-position-y
-   element-set-background-position-y!
-   element-letter-spacing
-   element-set-letter-spacing!
-   element-vertical-align
-   element-set-vertical-align!
-   element-text-indent
-   element-set-text-indent!
-   element-line-height
-   element-set-line-height!
-   element-margin-top
-   element-set-margin-top!
-   element-margin-bottom
-   element-set-margin-bottom!
-   element-margin-left
-   element-set-margin-left!
-   element-margin-right
-   element-set-margin-right!
-   element-padding-top
-   element-set-padding-top!
-   element-padding-bottom
-   element-set-padding-bottom!
-   element-padding-left
-   element-set-padding-left!
-   element-padding-right
-   element-set-padding-right!
-   element-border-top-color
-   element-set-border-top-color!
-   element-border-bottom-color
-   element-set-border-bottom-color!
-   element-border-left-color
-   element-set-border-left-color!
-   element-border-right-color
-   element-set-border-right-color!
-   element-border-top-width
-   element-set-border-top-width!
-   element-border-bottom-width
-   element-set-border-bottom-width!
-   element-border-left-width
-   element-set-border-left-width!
-   element-border-right-width
-   element-set-border-right-width!
-   element-width
-   element-set-width!
-   element-height
-   element-set-height!
-   element-top
-   element-set-top!
-   element-left
-   element-set-left!
-   element-z-index
-   element-set-z-index!
-   event?
-   get-event
-   event-tag
-   event-id
-   event-from-tag
-   event-from-id
-   event-to-tag
-   event-to-id
-   event-keycode
-   event-shiftkey
-   event-ctrlkey
-   event-altkey
-   event-x
-   event-y
-   event-keypress?
-   event-keydown?
-   event-keyup?
-   event-mousedown?
-   event-mousemove?
-   event-mouseover?
-   event-mouseout?
-   event-mouseup?
-   event-click?
-   event-dblclick?
-   event-error?
-   block-until-event
-   process-win-events
-   release-type-table
-   com-omit
-   %%initialize-dotnet-runtime)
+(define-syntax provide-dummy
+  (syntax-rules ()
+    [(_ id) (begin
+            (provide id)
+            (define id (false/thwart-optimization)))]
+    [(_ id ...) (begin (provide-dummy id) ...)]))
 
-  (error "mxmain.rkt: you seem to be missing mxmain.dll; you need to build MysterX in plt\\src\\mysterx\\")
+(define false/thwart-optimization #f)
+(set! false/thwart-optimization (lambda () #f))
 
-  (define mx-version #f)
-  (define block-while-browsers #f)
-  (define com-invoke #f)
-  (define com-set-property! #f)
-  (define com-get-property #f)
-  (define com-get-properties #f)
-  (define com-set-properties #f)
-  (define com-methods #f)
-  (define com-events #f)
-  (define com-method-type #f)
-  (define com-get-property-type #f)
-  (define com-set-property-type #f)
-  (define com-event-type #f)
-  (define com-help #f)
-  (define com-object-type #f)
-  (define com-is-a? #f)
-  (define com-currency? #f)
-  (define com-date? #f)
-  (define com-date->date #f)
-  (define date->com-date #f)
-  (define com-scode? #f)
-  (define com-scode->number #f)
-  (define number->com-scode #f)
-  (define com-currency->number #f)
-  (define number->com-currency #f)
-  (define com-object? #f)
-  (define com-iunknown? #f)
-  (define com-register-event-handler #f)
-  (define com-unregister-event-handler #f)
-  (define com-all-coclasses #f)
-  (define com-all-controls #f)
-  (define coclass->html #f)
-  (define progid->html #f)
-  (define cocreate-instance-from-coclass #f)
-  (define cocreate-instance-from-progid #f)
-  (define com-get-active-object-from-coclass #f)
-  (define coclass #f)
-  (define progid #f)
-  (define set-coclass! #f)
-  (define set-coclass-from-progid! #f)
-  (define com-object-eq? #f)
-  (define com-register-object #f)
-  (define com-release-object #f)
-  (define com-add-ref #f)
-  (define com-ref-count #f)
-  (define com-terminate #f)
-  (define make-browser #f)
-  (define browser-show #f)
-  (define navigate #f)
-  (define go-back #f)
-  (define go-forward #f)
-  (define refresh #f)
-  (define iconize #f)
-  (define restore #f)
-  (define current-url #f)
-  (define register-navigate-handler #f)
-  (define current-document #f)
-  (define print-document #f)
-  (define document? #f)
-  (define document-title #f)
-  (define document-insert-html #f)
-  (define document-append-html #f)
-  (define document-replace-html #f)
-  (define document-find-element #f)
-  (define document-find-element-by-id-or-name #f)
-  (define document-elements-with-tag #f)
-  (define document-objects #f)
-  (define element-insert-html #f)
-  (define element-append-html #f)
-  (define element-insert-text #f)
-  (define element-append-text #f)
-  (define element-replace-html #f)
-  (define element-get-html #f)
-  (define element-get-text #f)
-  (define element-focus #f)
-  (define element-selection #f)
-  (define element-set-selection! #f)
-  (define element-attribute #f)
-  (define element-set-attribute! #f)
-  (define element-click #f)
-  (define element-tag #f)
-  (define element-font-family #f)
-  (define element-set-font-family! #f)
-  (define element-font-style #f)
-  (define element-set-font-style! #f)
-  (define element-font-variant #f)
-  (define element-set-font-variant! #f)
-  (define element-font-weight #f)
-  (define element-set-font-weight! #f)
-  (define element-font #f)
-  (define element-set-font! #f)
-  (define element-background #f)
-  (define element-set-background! #f)
-  (define element-background-attachment #f)
-  (define element-set-background-attachment! #f)
-  (define element-background-image #f)
-  (define element-set-background-image! #f)
-  (define element-background-repeat #f)
-  (define element-set-background-repeat! #f)
-  (define element-background-position #f)
-  (define element-set-background-position! #f)
-  (define element-text-decoration #f)
-  (define element-set-text-decoration! #f)
-  (define element-text-transform #f)
-  (define element-set-text-transform! #f)
-  (define element-text-align #f)
-  (define element-set-text-align! #f)
-  (define element-margin #f)
-  (define element-set-margin! #f)
-  (define element-padding #f)
-  (define element-set-padding! #f)
-  (define element-border #f)
-  (define element-set-border! #f)
-  (define element-border-top #f)
-  (define element-set-border-top! #f)
-  (define element-border-bottom #f)
-  (define element-set-border-bottom! #f)
-  (define element-border-left #f)
-  (define element-set-border-left! #f)
-  (define element-border-right #f)
-  (define element-set-border-right! #f)
-  (define element-border-color #f)
-  (define element-set-border-color! #f)
-  (define element-border-width #f)
-  (define element-set-border-width! #f)
-  (define element-border-style #f)
-  (define element-set-border-style! #f)
-  (define element-border-top-style #f)
-  (define element-set-border-top-style! #f)
-  (define element-border-bottom-style #f)
-  (define element-set-border-bottom-style! #f)
-  (define element-border-left-style #f)
-  (define element-set-border-left-style! #f)
-  (define element-border-right-style #f)
-  (define element-set-border-right-style! #f)
-  (define element-style-float #f)
-  (define element-set-style-float! #f)
-  (define element-clear #f)
-  (define element-set-clear! #f)
-  (define element-display #f)
-  (define element-set-display! #f)
-  (define element-visibility #f)
-  (define element-set-visibility! #f)
-  (define element-list-style-type #f)
-  (define element-set-list-style-type! #f)
-  (define element-list-style-position #f)
-  (define element-set-list-style-position! #f)
-  (define element-list-style-image #f)
-  (define element-set-list-style-image! #f)
-  (define element-list-style #f)
-  (define element-set-list-style! #f)
-  (define element-position #f)
-  (define element-overflow #f)
-  (define element-set-overflow! #f)
-  (define element-pagebreak-before #f)
-  (define element-set-pagebreak-before! #f)
-  (define element-pagebreak-after #f)
-  (define element-set-pagebreak-after! #f)
-  (define element-css-text #f)
-  (define element-set-css-text! #f)
-  (define element-cursor #f)
-  (define element-set-cursor! #f)
-  (define element-clip #f)
-  (define element-set-clip! #f)
-  (define element-filter #f)
-  (define element-set-filter! #f)
-  (define element-style-string #f)
-  (define element-text-decoration-none #f)
-  (define element-set-text-decoration-none! #f)
-  (define element-text-decoration-underline #f)
-  (define element-set-text-decoration-underline! #f)
-  (define element-text-decoration-overline #f)
-  (define element-set-text-decoration-overline! #f)
-  (define element-text-decoration-linethrough #f)
-  (define element-set-text-decoration-linethrough! #f)
-  (define element-text-decoration-blink #f)
-  (define element-set-text-decoration-blink! #f)
-  (define element-pixel-top #f)
-  (define element-set-pixel-top! #f)
-  (define element-pixel-left #f)
-  (define element-set-pixel-left! #f)
-  (define element-pixel-width #f)
-  (define element-set-pixel-width! #f)
-  (define element-pixel-height #f)
-  (define element-set-pixel-height! #f)
-  (define element-pos-top #f)
-  (define element-set-pos-top! #f)
-  (define element-pos-left #f)
-  (define element-set-pos-left! #f)
-  (define element-pos-width #f)
-  (define element-set-pos-width! #f)
-  (define element-pos-height #f)
-  (define element-set-pos-height! #f)
-  (define element-font-size #f)
-  (define element-set-font-size! #f)
-  (define element-color #f)
-  (define element-set-color! #f)
-  (define element-background-color #f)
-  (define element-set-background-color! #f)
-  (define element-background-position-x #f)
-  (define element-set-background-position-x! #f)
-  (define element-background-position-y #f)
-  (define element-set-background-position-y! #f)
-  (define element-letter-spacing #f)
-  (define element-set-letter-spacing! #f)
-  (define element-vertical-align #f)
-  (define element-set-vertical-align! #f)
-  (define element-text-indent #f)
-  (define element-set-text-indent! #f)
-  (define element-line-height #f)
-  (define element-set-line-height! #f)
-  (define element-margin-top #f)
-  (define element-set-margin-top! #f)
-  (define element-margin-bottom #f)
-  (define element-set-margin-bottom! #f)
-  (define element-margin-left #f)
-  (define element-set-margin-left! #f)
-  (define element-margin-right #f)
-  (define element-set-margin-right! #f)
-  (define element-padding-top #f)
-  (define element-set-padding-top! #f)
-  (define element-padding-bottom #f)
-  (define element-set-padding-bottom! #f)
-  (define element-padding-left #f)
-  (define element-set-padding-left! #f)
-  (define element-padding-right #f)
-  (define element-set-padding-right! #f)
-  (define element-border-top-color #f)
-  (define element-set-border-top-color! #f)
-  (define element-border-bottom-color #f)
-  (define element-set-border-bottom-color! #f)
-  (define element-border-left-color #f)
-  (define element-set-border-left-color! #f)
-  (define element-border-right-color #f)
-  (define element-set-border-right-color! #f)
-  (define element-border-top-width #f)
-  (define element-set-border-top-width! #f)
-  (define element-border-bottom-width #f)
-  (define element-set-border-bottom-width! #f)
-  (define element-border-left-width #f)
-  (define element-set-border-left-width! #f)
-  (define element-border-right-width #f)
-  (define element-set-border-right-width! #f)
-  (define element-width #f)
-  (define element-set-width! #f)
-  (define element-height #f)
-  (define element-set-height! #f)
-  (define element-top #f)
-  (define element-set-top! #f)
-  (define element-left #f)
-  (define element-set-left! #f)
-  (define element-z-index #f)
-  (define element-set-z-index! #f)
-  (define event? #f)
-  (define get-event #f)
-  (define event-tag #f)
-  (define event-id #f)
-  (define event-from-tag #f)
-  (define event-from-id #f)
-  (define event-to-tag #f)
-  (define event-to-id #f)
-  (define event-keycode #f)
-  (define event-shiftkey #f)
-  (define event-ctrlkey #f)
-  (define event-altkey #f)
-  (define event-x #f)
-  (define event-y #f)
-  (define event-keypress? #f)
-  (define event-keydown? #f)
-  (define event-keyup? #f)
-  (define event-mousedown? #f)
-  (define event-mousemove? #f)
-  (define event-mouseover? #f)
-  (define event-mouseout? #f)
-  (define event-mouseup? #f)
-  (define event-click? #f)
-  (define event-dblclick? #f)
-  (define event-error? #f)
-  (define block-until-event #f)
-  (define process-win-events #f)
-  (define release-type-table #f)
-  (define com-omit #f)
-  (define %%initialize-dotnet-runtime #f))
+;; dummy entries to make Setup happy;
+;; these are the names defined in mxPrims[] in src/mysterx.cxx
+
+(provide-dummy
+ mx-version
+ block-while-browsers
+ com-invoke
+ com-set-property!
+ com-get-property
+ com-get-properties
+ com-set-properties
+ com-methods
+ com-events
+ com-method-type
+ com-get-property-type
+ com-set-property-type
+ com-event-type
+ com-help
+ com-object-type
+ com-is-a?
+ com-currency?
+ com-date?
+ com-date->date
+ date->com-date
+ com-scode?
+ com-scode->number
+ number->com-scode
+ com-currency->number
+ number->com-currency
+ com-object?
+ com-iunknown?
+ com-register-event-handler
+ com-unregister-event-handler
+ com-all-coclasses
+ com-all-controls
+ coclass->html
+ progid->html
+ cocreate-instance-from-coclass
+ cocreate-instance-from-progid
+ com-get-active-object-from-coclass
+ coclass
+ progid
+ set-coclass!
+ set-coclass-from-progid!
+ com-object-eq?
+ com-register-object
+ com-release-object
+ com-add-ref
+ com-ref-count
+ com-terminate
+ make-browser
+ browser-show
+ navigate
+ go-back
+ go-forward
+ refresh
+ iconize
+ restore
+ current-url
+ register-navigate-handler
+ current-document
+ print-document
+ document?
+ document-title
+ document-insert-html
+ document-append-html
+ document-replace-html
+ document-find-element
+ document-find-element-by-id-or-name
+ document-elements-with-tag
+ document-objects
+ element-insert-html
+ element-append-html
+ element-insert-text
+ element-append-text
+ element-replace-html
+ element-get-html
+ element-get-text
+ element-focus
+ element-selection
+ element-set-selection!
+ element-attribute
+ element-set-attribute!
+ element-click
+ element-tag
+ element-font-family
+ element-set-font-family!
+ element-font-style
+ element-set-font-style!
+ element-font-variant
+ element-set-font-variant!
+ element-font-weight
+ element-set-font-weight!
+ element-font
+ element-set-font!
+ element-background
+ element-set-background!
+ element-background-attachment
+ element-set-background-attachment!
+ element-background-image
+ element-set-background-image!
+ element-background-repeat
+ element-set-background-repeat!
+ element-background-position
+ element-set-background-position!
+ element-text-decoration
+ element-set-text-decoration!
+ element-text-transform
+ element-set-text-transform!
+ element-text-align
+ element-set-text-align!
+ element-margin
+ element-set-margin!
+ element-padding
+ element-set-padding!
+ element-border
+ element-set-border!
+ element-border-top
+ element-set-border-top!
+ element-border-bottom
+ element-set-border-bottom!
+ element-border-left
+ element-set-border-left!
+ element-border-right
+ element-set-border-right!
+ element-border-color
+ element-set-border-color!
+ element-border-width
+ element-set-border-width!
+ element-border-style
+ element-set-border-style!
+ element-border-top-style
+ element-set-border-top-style!
+ element-border-bottom-style
+ element-set-border-bottom-style!
+ element-border-left-style
+ element-set-border-left-style!
+ element-border-right-style
+ element-set-border-right-style!
+ element-style-float
+ element-set-style-float!
+ element-clear
+ element-set-clear!
+ element-display
+ element-set-display!
+ element-visibility
+ element-set-visibility!
+ element-list-style-type
+ element-set-list-style-type!
+ element-list-style-position
+ element-set-list-style-position!
+ element-list-style-image
+ element-set-list-style-image!
+ element-list-style
+ element-set-list-style!
+ element-position
+ element-overflow
+ element-set-overflow!
+ element-pagebreak-before
+ element-set-pagebreak-before!
+ element-pagebreak-after
+ element-set-pagebreak-after!
+ element-css-text
+ element-set-css-text!
+ element-cursor
+ element-set-cursor!
+ element-clip
+ element-set-clip!
+ element-filter
+ element-set-filter!
+ element-style-string
+ element-text-decoration-none
+ element-set-text-decoration-none!
+ element-text-decoration-underline
+ element-set-text-decoration-underline!
+ element-text-decoration-overline
+ element-set-text-decoration-overline!
+ element-text-decoration-linethrough
+ element-set-text-decoration-linethrough!
+ element-text-decoration-blink
+ element-set-text-decoration-blink!
+ element-pixel-top
+ element-set-pixel-top!
+ element-pixel-left
+ element-set-pixel-left!
+ element-pixel-width
+ element-set-pixel-width!
+ element-pixel-height
+ element-set-pixel-height!
+ element-pos-top
+ element-set-pos-top!
+ element-pos-left
+ element-set-pos-left!
+ element-pos-width
+ element-set-pos-width!
+ element-pos-height
+ element-set-pos-height!
+ element-font-size
+ element-set-font-size!
+ element-color
+ element-set-color!
+ element-background-color
+ element-set-background-color!
+ element-background-position-x
+ element-set-background-position-x!
+ element-background-position-y
+ element-set-background-position-y!
+ element-letter-spacing
+ element-set-letter-spacing!
+ element-vertical-align
+ element-set-vertical-align!
+ element-text-indent
+ element-set-text-indent!
+ element-line-height
+ element-set-line-height!
+ element-margin-top
+ element-set-margin-top!
+ element-margin-bottom
+ element-set-margin-bottom!
+ element-margin-left
+ element-set-margin-left!
+ element-margin-right
+ element-set-margin-right!
+ element-padding-top
+ element-set-padding-top!
+ element-padding-bottom
+ element-set-padding-bottom!
+ element-padding-left
+ element-set-padding-left!
+ element-padding-right
+ element-set-padding-right!
+ element-border-top-color
+ element-set-border-top-color!
+ element-border-bottom-color
+ element-set-border-bottom-color!
+ element-border-left-color
+ element-set-border-left-color!
+ element-border-right-color
+ element-set-border-right-color!
+ element-border-top-width
+ element-set-border-top-width!
+ element-border-bottom-width
+ element-set-border-bottom-width!
+ element-border-left-width
+ element-set-border-left-width!
+ element-border-right-width
+ element-set-border-right-width!
+ element-width
+ element-set-width!
+ element-height
+ element-set-height!
+ element-top
+ element-set-top!
+ element-left
+ element-set-left!
+ element-z-index
+ element-set-z-index!
+ event?
+ get-event
+ event-tag
+ event-id
+ event-from-tag
+ event-from-id
+ event-to-tag
+ event-to-id
+ event-keycode
+ event-shiftkey
+ event-ctrlkey
+ event-altkey
+ event-x
+ event-y
+ event-keypress?
+ event-keydown?
+ event-keyup?
+ event-mousedown?
+ event-mousemove?
+ event-mouseover?
+ event-mouseout?
+ event-mouseup?
+ event-click?
+ event-dblclick?
+ event-error?
+ block-until-event
+ process-win-events
+ release-type-table
+ com-omit
+ %%initialize-dotnet-runtime)