Do not use do_alloca to pass parameters