Fix type of sector_idx in inode_write_at().
[pintos-anon] / src / examples / cat.c
2005-06-21 Ben PfaffAdd some more examples.