[etoys-dev] FFI bug