user_memory.cpp revision b58bad29
1