execution traces & bug fixes