real, parameter, private module_mp_thompson::rv = 461.5

private