F* key generation.