#lang typed/racket

(: x Index)
(define x 7)

(provide x)