public static void SMPEG_double(IntPtr mpeg, int on) { if (on != 0) { Smpeg.SMPEG_scale(mpeg, 2); } else { Smpeg.SMPEG_scale(mpeg, 1); } }