added proc.dyn.double_lib_addLast