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