Move the seal function to the Foreign module.