#include "int80.h"

int
main (int argc, char *argv[])
{
	lseek (0, 10, 20);
}