pickling for debugging