AT_VECTOR_SIZE_ARCH
(k_base_platform ? 1 : 0) + AT_VECTOR_SIZE_ARCH;
#ifndef AT_VECTOR_SIZE_ARCH
#define AT_VECTOR_SIZE (2*(AT_VECTOR_SIZE_ARCH + AT_VECTOR_SIZE_BASE + 1))