Add builtin for byte[] (used by vtd module)