+void string_search___Pattern___init(val_t self, int* init_table) {
+ struct trace_t trace = {NULL, NULL, 0, LOCATE_string_search___Pattern___init};
+ trace.prev = tracehead; tracehead = &trace;
+ trace.file = LOCATE_string_search;
+ tracehead = trace.prev;
+ return;
+}