-- interface RemoteService extends Service


package javacard::framework::service

endpackage