// getter on js_def