satisfy codetools