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