export function allocated(size: number): number[];