Binary package “libsfatomic1-dbg” in ubuntu trusty
support library providing __atomic built-in functions (soft float ABI debug symbols)
library providing __atomic built-in functions. When an atomic call cannot
be turned into lock-free instructions, GCC will make calls into this library.