Everything works, leak-free