On hardcore compilation