declare const zeroVector: number[]; export { zeroVector };