{include man/public_details}.\"
{include man/protected_details}.\"
{include man/private_details}.\"
