#
#  PRE: if call
#

# Test empty call section
call second {
}

if (!reply.Reply-Message) {
	test_fail
}

if (!(reply.Reply-Message[0] == "call second")) {
	test_fail
}

reply -= Reply-Message

success
