Mandatory prepayment vs event of default July 8, 2019 16 32 64 128 Mandatory prepayment or event of default