/* Used as (f) for nfsm_wcc_data() */