/* empty files are hard: https://stackoverflow.com/a/69547758 */