/* the call via dct64 is a trick to force GCC to use (new) registers for the b1,b2 pointer to the bufs field  */
void dct64(real *a, real *b, real *c)
/* the call via dct64 is a trick to force GCC to use (new) registers for the b1,b2 pointer to the bufs field  */
void dct64(real *a, real *b, real *c)
{
  real bufs[0x40];
  dct64_1(a,b,bufs,bufs+0x20,c);
}