#lang plait
(define f (lambda (x) 3))
(define v (f "hello world"))