checkers implemented in WebAssembly text format (WAT).