Have we ever used STABS in 64-bit executables before? How large is the value field of a stab in a 64-bit executable?