allow hal_perf_default property_socket:sock_file write;
allow hal_perf_default init:unix_stream_socket connectto;
allow hal_perf_default freq_prop:property_service set;