let s_lambda = HString.mk_hstring "LAMBDA"