If we decide to use uintptr than those can be removed