(include-book "filename")