svtk
12 lines
136 B
Plaintext
12 lines
136 B
Plaintext
== empty ==
|
|
fun empty() {}
|
|
---------------------
|
|
l0:
|
|
<START>
|
|
read (Unit)
|
|
l1:
|
|
<END>
|
|
error:
|
|
<ERROR>
|
|
=====================
|