writable or refereable checker with valgrind