import(range),
# A string consisting of one newline character.
# TODO: this constant is a hack used because writing "\n" in a regulus string does not produce a newline yet
=(endl, "
"),
# A string consisting of one carriage return character.
# TODO: this constant is a hack used because writing "\r" in a regulus string does not produce a newline yet
=(cr, __builtin_cr()),
# Evaluates all given arguments and prints them to stdout.
# All arguments are separated with a single space.
# No trailing space is added after the last element.
# After all arguments have been printed, a newline is also printed.
# Returns `null`.
#
# If you need more precise control over the output, use `write` instead.
def(print, [args], _(
=(l, len(args)),
for_in(range(0, l), i, _(
write(index(args, i)),
if(!=(i, -(l, 1)), write(" "))
)),
write(endl),
)),