/** @type {Van.State<number>} */