K 10 svn:author V 3 alc K 8 svn:date V 27 2006-08-14T19:53:53.000000Z K 7 svn:log V 103 Eliminate an unnecessary initialization from trap_pfault() that also happens to contain a style error. END