procedure-documentation works on RTL procedures