History tests/resolve.c