valgrind: works on armv7.