pub type AppletResourceUserId = u64;