void * avi_converter_to_rgb32(AviMovie *movie, int stream, unsigned char *buffer, size_t *size)
void * avi_converter_from_rgb32(AviMovie *movie, int stream, unsigned char *buffer, size_t *size)
static DBVT_INLINE btScalar size(const btDbvtVolume &a)
ccl_global float * buffer