#lang racket
(add1 (add1 40))