;; This alone works
(require-extension awk)
;; but if you additionally
;(require-extension syntax-case)
;; it won't

(with-input-from-string "this was the input"
  (lambda ()
    (awk (read-line) (line) lineno ((init 0))
       (else  (print line)))))