int __section("protected_text”) encode(char * hash, int a)
{
    …
}