const lines_getterinfo: JSJitInfo;