| predecessor
Other encodings: data, plain