; RUN: llhd-conv -i %s --output-format v
; FAIL since functions don't map to Verilog yet

func @foo () void {
entry:
    ret
}