If you need to use a raster PNG badge, change the '.svg' to '.png' in the link
py/emitinlinethumb: Update to work with new small-heap compiler.
Note that the inline assembler only works with the small-heap compiler
relevant lines covered
hits per line