Quick lime is also known