@ Included constant
def constant
  ident x
  literal int 0
@< Included constant
