An attempt to satisfy Vera++