ENTITY test_formal_test IS
END ENTITY;

ARCHITECTURE formal OF test_formal_test IS
BEGIN
END ARCHITECTURE;