addr2line format specifiers