[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"story-settings":3,"story:2007-7-10-David_Sarge_Tinga_Passes_Away-undefined":4},null,"16050:\u002Fnews\u002F2007\u002F7\u002F10\u002FDavid_Sarge_Tinga_Passes_Away"]