Add more details about arena allocation to NOTES