type 'union U' was added