Implement test for loading symbols produced by the static form.