import tss structure from pintos