declare function unsafe(dummy);
declare function virtual(dummy);