Request for support for local function pointer declarations

[eleehiga]

Currently in the code from https://www.geeksforgeeks.org/function-pointer-in-c/:

#include "math.h" 
#include "stdlib.h"
#include "stdarg.h"
#include "stdio.h"
#include "string.h"


void fun(int a)
{
    printf("Value of a is %d\n", a);
}
  
int main()
{
    // fun_ptr is a pointer to function fun() 
    void (*fun_ptr)(int) = &fun;
  
    /* The above line is equivalent of following two
       void (*fun_ptr)(int);
       fun_ptr = &fun; 
    */
  
    // Invoking fun() using fun_ptr
    (*fun_ptr)(10);
  
    return 0;
}

On the line void (*fun_ptr)(int) = &fun; there is a parse error with ( symbol. And this is probably because function pointers are not supported. Therefore, was wondering if you guys could please have Verifast support function pointers?