need to change the name of functions in safe_operations.h