// This is an auto-generated lite registration file