#lang reader "lang.rkt"
20, 10000