BPF: A New Type of Software