Function symbols work in simple case