$HeaderBlockNumber: $.Shape<number, number> = ...