tic54x-dis.c   [plain text]