Commits 8ae87d4: Rename FFI callback builtins to avoid abbreviations (Olivier Mélois) #6321 9750363: Record tests and transcripts proofs for the FFI rename (Olivier Mélois) #6321