ENTITY wb_standard_formal IS
END ENTITY;

ARCHITECTURE psl of wb_standard_formal IS
BEGIN
    gen_test: IF (true) GENERATE
    END GENERATE;
END ARCHITECTURE;