C extensions can't use each other's symbols...