max(roundUp((n+t+1)/2), k)
(n, k, t int)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected