#lang setup/infotab
(define racket-launcher-names '("preserves-tool-rkt"))
(define racket-launcher-libraries '("tool.rkt"))