For better readability, replace the type of the pointer-to-AC-instance
from void* to ac_t* where the ac_t is an opaque type.
Add internal verification.