method
apply =
param.list_f_apply !listref ;
param.list_value <- !listref