allow hal_usb_impl ffs_prop:file map;
  allow hal_usb_impl ffs_prop:file read;
  allow hal_usb_impl ffs_prop:file open;
  allow hal_usb_impl ffs_prop:file getattr;
  allow hal_usb_impl ffs_prop:property_service set;