#include void foo(void) { user_access_end(); }