.*
\(\.text\+0x14\): .* 0x3fa00000 .*
.*
\(\.text\+0x34\): .* 0x3fa00010 .*