Correctly print the cheri_ccall attribute.

Fixes #3.