discard """
  output:'''@[23, 45]'''
"""

echo($(@[23, 45]))