Debugging 4tw