Adding Lavaca implementation