@ stdcall dxt1_rgb_encode(long long long ptr long ptr long) @ stdcall dxt1_rgba_encode(long long long ptr long ptr long) @ stdcall dxt3_rgba_encode(long long long ptr long ptr long) @ stdcall dxt5_rgba_encode(long long long ptr long ptr long) @ stdcall dxt1_rgba_decode_1(ptr long long long long) @ stdcall dxt3_rgba_decode_1(ptr long long long long) @ stdcall dxt5_rgba_decode_1(ptr long long long long) @ stdcall fxt1_encode(long long long ptr long ptr long) @ stdcall fxt1_decode_1(ptr long long long long) @ stdcall fetch_2d_texel_rgb_dxt1(long ptr long long long) @ stdcall fetch_2d_texel_rgba_dxt1(long ptr long long long) @ stdcall fetch_2d_texel_rgba_dxt3(long ptr long long long) @ stdcall fetch_2d_texel_rgba_dxt5(long ptr long long long) @ stdcall tx_compress_dxtn(long long long ptr long ptr long)