fix sized deallocation for proc