VaProBash + cleanup