Use inline array annotation as protection against variable name mangling