pl.m: static functions