symbol API: remarkably concise, though not without problems