#include "return.sctx.h" void set_specialization_context() { }