Like SDETool but better.