/* $(enclaveName).edl - Top EDL file. */

enclave {
    untrusted {
    };

    trusted {
    	    public int ecall_$(enclaveName)_sample();
    };
};