Test corrections
Test user defined types