OPENQASM 3.1;
extern f(int) -> int;
qubit q;
rz(f(1)) q;