lab_11: working, documented, Memcheck-clean