Using forked copy of sat-js for submodule
submodule funkadunk