#lang racket
(provide c)
(define (c x)
  (+ x 5))