// A parameter as an exporter declares one, given no value: the reader alone
// gives an `input float` none, and a job binds it with `params`.
OPENQASM 3.0;
include "stdgates.inc";
input float[64] theta;
bit[1] c;
qubit[1] q;
rx(theta) q[0];
c[0] = measure q[0];