alignment check: convert pointer to Csize_t instead of Int