#!/usr/bin/env fun

/*
 * This file is part of the Fun programming language.
 * https://fun-lang.xyz/
 *
 * Copyright 2025 Johannes Findeisen <you@hanez.org>
 * Licensed under the terms of the Apache-2.0 license.
 * https://opensource.org/license/apache-2-0
 *
 * Added: 2025-10-04
 */

/* Demonstrate exiting a Fun script with a specific exit code
 * Run:
 *   fun examples/exit_example.fun
 * Then in your shell, check the code with: echo $?
 */

/* exit with code 7 */
exit 7