java com.nailabs.abac.test.TestEngine alice.txt geni.txt \
	"GENI: GENI.CTFaccess <- Alice"