known constant declaration can now be recursive