The process $ps.LABEL$ (declared in $ps.FILE$, l. $ps.LINE$, c. $ps.COLUMN$)
describes a simple flip-flop controlled by $clk.IDENTIFIER$ (declared in
$clk.FILE$, l. $clk.LINE$, c. $clk.COLUMN$) and with output $reg.IDENTIFIER$
(declared in $reg.FILE$, l. $reg.LINE$, c. $reg.COLUMN$).