String function ( ) { return serviceName ; }
return the name you have chosen for this syscall . this can be used by a mars user to refer to the service when choosing to override its default service number in the configuration file . concode_field_sep int serviceNumber concode_elem_sep String serviceName concode_field_sep int getNumber concode_elem_sep void simulate concode_elem_sep void setNumber