Work on obstacks: t+, valgrind memcheck+