visited: 16
irg: PRIMA_set_a
arity: 3
+volatility: volatility_non_volatile
"}
edge: {sourcename: "n74" targetname: "n66" label: "0" class:17 priority:10 color:blue}
edge: {sourcename: "n74" targetname: "n73" label: "1" class:1 priority:50}
visited: 5
arity: 0
kind addr_ent
+entity PRIMA.set_a (17)
+
"}
node: {title: "t15" label: "method set_a" info1: "state: layout_fixed,
mode: P,
visited: 5
arity: 0
kind addr_ent
+entity PRIMA.c (20)
+
"}
node: {title: "t18" label: "method c" info1: "state: layout_fixed,
mode: P,