Future<?> verification test example