frame_rate = (int)(strtod(arg, 0) * FRAME_RATE_BASE);
frame_rate_base = DEFAULT_FRAME_RATE_BASE; frame_rate = (int)(strtod(arg, 0) * frame_rate_base + 0.5);
static void opt_frame_rate(const char *arg){    frame_rate = (int)(strtod(arg, 0) * FRAME_RATE_BASE);}