remove bad 16-byte integer definition