cat copy_file ed file_size get_dir mkdir read_bytes read_file rename rm rmdir tail write_bytes write_file