reminder to self on how to deref void pointer to integer

void_ptr.c

// gcc -Wall void_ptr.c -o void_ptr ; ./void_ptr
#include <stdio.h>
#include <stdint.h>

void muck_count(void* param)
{
  uint8_t *foo = (uint8_t*)param;
  printf("foo %u\n", *foo);
  *foo = 0;
}

int main()
{
  uint8_t count = 0;
  count = 10;
  printf("Count before %u\n", count);
  muck_count(&count);
  printf("Count after %u\n", count);
  return 0;
}