use IMP1 *;

sub bar() {
    F();
}