const control_getterinfo: JSJitInfo;