[RFC] In new code, rename RESULT_POOL and SCRATCH_POOL to RESULT and SCRATCH, respectively.
Because the names are too long and C is strongly typed. -- (This has been on my mind since some time, I probably mentioned it in passing a few times already, I don't think I've RFC'd it yet.)
