Use bare 'empty' since we cannot name call procedures
Split sec4 and sec5 into separate parts; use checkcall (experimental feature)