GT10 Technical Reference And User's Manual Brandname: Karel Category: Gateway Total Pages: 17 Table of contents TechnicalIntroduction5