impliment lambda.c, parameter.c