+let_value(val) ::= CALLOC(F) LPAREN NUMBER(N) COMMA decl_type(t) RPAREN. {
+ val = init_let_value(
+ init_let_func(F->type, F->text,
+ atol(N->text) * psi_t_size(real_decl_type(t)->type)
+ ), NULL, 0
+ );
+ free_decl_type(t);
+ free(F);
+ free(N);
+}