Change in osmo-ttcn3-hacks[master]: msc: introduce f_logp()