wabacus 4.2