Auto generated from 0da4a77c766ccd07ef6d789cae3128b7531a55f8