begin type-free section