int main(){
   static_assert(sizeof(void*) >= 8, "64-bit addressing is required for this program");
 }