Walker interface reimplemented with CFFI