a compiler rt library for coffee core