Algorithm Tracing With State Tables