Problem with symbol's default constructor?