#lang reprovide debug-scopes/superscripts debug-scopes/named-scopes/exptime