#!/usr/bin/env ciao-shell
% -*- mode: ciao; -*-

% This is a Ciao script (directly executable on POSIX environments)

main(_) :- 
	write('Hello world!'), nl, nl,
	write('Hit return to proceed... '), 
	flush_output,
	get_code(_).


