really enforce 1tbs and move allocation into type.s.c