#lang reprovide
debug-scopes/superscripts