syntax/opcodes/static_random_mintime

Used under the ‹effect› header, with type=static.