BackEnd for FlashBack