Registers:

const	10	int
normal	x_1	int
tmp	1	int
normal	m_m_2	int
normal	x_3	int
normal	_t_return_var_1_4	int

State Machine:

	branch:1	memory:2	funcall:3	function_entry:4	assign:5 inputs: int outputs: int
s0
s1(initial)	next: 2 id:4			id:0
s2	next: 3 id:5				inputs: 10 outputs: var:x_1 id:1
s3	next: 4 id:6		function:f inputs: var:x_1 outputs: tmp:reg_t1 id:2
s4	next: 5 id:7				inputs: tmp:reg_t1 outputs: var:m_m_2 id:3
s5(return)
s6(initial)	next: 7 id:11			inputs: var:x_3 outputs: var:_t_return_var_1_4 id:8
s7	next: 8 id:12				inputs: var:x_3 outputs: var:_t_return_var_1_4 id:9
s8	next: 9 id:10
s9(return)

---