`//` does not work in 5.8