binjs_convert_from_json::main_aux