1.0.6.56: replace CALL-WITH-DX-FUNCTION with DX-FLET