void* と char* のビット表現は等しいんだっけ？