MemoryMXBean bean = ManagementFactory.getMemoryMXBean();
if (bean != null) {
MemoryUsage mu = bean.getHeapMemoryUsage();
res = res.cons(ETuple.make(am_heap, ERT.box(mu.getCommitted()),
ERT.box(mu.getUsed())));
mu = bean.getNonHeapMemoryUsage();
res = res.cons(ETuple.make(am_non_heap, ERT.box(mu
.getCommitted()), ERT.box(mu.getUsed())));