disallow identifiers ending in _ fixes #805