(command #:inputs (source #:type File) (output_filename #:type string)
#:run "gcc" source ("-o" output_filename)
#:outputs (executable
#:type File
#:binding ((glob . "$(inputs.output_filename)"))))
