Proc(): add debug keyword argument