#include <elfutils/libdwfl.h>
  
  int main(void)
  {
  	/*
  	 * This function is guarded via: __nonnull_attribute__ (1, 2).
  	 * Passing '1' as arguments value. This code is never executed,
  	 * only compiled.
  	 */
  	dwfl_thread_getframes((void *) 1, (void *) 1, NULL);
  	return 0;
  }