A dotc module of duktape an embeddable Javascript engine