copy_region_checked


Description:

public VoidCookie copy_region_checked (Region source, Region destination)