Documented the fact that the prefix can prot_call(main) without