rvsexrec0 (142.452)