JANSSON_4 {
    global:
          *;
};