SJCL with custom extensions