exec.c: Fix calculation of code_gen_buffer_max_size