dest_fp


Description:

public unowned FileStream dest_fp