add pop and qpf method, spec and stubs