#lang br
(require "sample-export.rkt")
div
x
(div x 10)