integer, parameter, private module_mp_thompson::r8size = 8

private