For example, in file_operations we are forced to declare the functions as unsafe. It would be better if we could minimise the amount of unsafe code within the function by annotating just the unsafe operations.