drop old license from a file I've rewritten from scratch
translate void* to uintptr
fix int to default to 32b (not 16)