Easy payments with CBMC...

//