Prefer using "extern void" to "extern void *" for assembly symbols in
/bin/cheritest.  Otherwise, the compiler intuits that the assembly chunks
are pointer-length, which is not right in most cases.