Abstract contract test example