Specify a small alloca_cutoff (XCC)