1@ stdcall dxt1_rgb_encode(long long long ptr long ptr long) 2@ stdcall dxt1_rgba_encode(long long long ptr long ptr long) 3@ stdcall dxt3_rgba_encode(long long long ptr long ptr long) 4@ stdcall dxt5_rgba_encode(long long long ptr long ptr long) 5@ stdcall dxt1_rgba_decode_1(ptr long long long long) 6@ stdcall dxt3_rgba_decode_1(ptr long long long long) 7@ stdcall dxt5_rgba_decode_1(ptr long long long long) 8@ stdcall fxt1_encode(long long long ptr long ptr long) 9@ stdcall fxt1_decode_1(ptr long long long long) 10@ stdcall fetch_2d_texel_rgb_dxt1(long ptr long long long) 11@ stdcall fetch_2d_texel_rgba_dxt1(long ptr long long long) 12@ stdcall fetch_2d_texel_rgba_dxt3(long ptr long long long) 13@ stdcall fetch_2d_texel_rgba_dxt5(long ptr long long long) 14@ stdcall tx_compress_dxtn(long long long ptr long ptr long) 15