Got arguments but tss2_getrandom takes no arguments