padding between a_v and a_type contains kernel garbage, therefore exposed to userland. Original report by uebayasi@