/* temporary */
#include "memory_vty.h"