-- MakeUserCredentials.cm
-- last edited by Levin on March 11, 1983 11:31 am

Compile UserCredentialsUnsafe/-c-b-nj UserCredentials
Compile UserCredentialsUnsafeImpl/-c-b-nj UserCredentialsVeneer

Bind UserCredentialsImpl