\input{kernel/memory_doc}
