name:		empty
title:		Tests the result of compiling an empty file
prio:		QUICK
type:		ERROR
files:		empty.sa error.msg
options:	-only_reachable -o empty empty.sa 
exec:		diff - error.msg
