void Cast(char *c, void *v) {
  c = (char *)v;
}