M(void, glTexCoord3sv, jobject v) { glTexCoord3sv(BUFF(GLshort, v)); }
inline void glTexCoord3v( const GLshort * v ) { glTexCoord3sv( v ); }
void __glXDisp_TexCoord3sv(GLbyte *pc) { glTexCoord3sv( (GLshort *)(pc + 0) ); }