add integer to void* conversion