/* This stub is a stub to make the build happy */