# of literals:
0
(should be 2)
