De-Bugging with 4Work