Sliced and removed types.h