As reported by Ellidiss, Ocarina misses some support for requires/provides subprogram access as features.