/* This file exists just to have its dependencies determined.
Those dependencies are then used for the bp thunk objects. */
#include <bp-thunks.h>