Done: predefined symbol added