用高级程序设计语言编写的程序，( )。

A．计算机能直接执行

B．具有良好的可读性和可移植性

C．执行效率高，但可读性差

D．依赖于具体机器，可移植性差

建设工程的保证人一般是( )。

A．法人

B．公证机关

C．银行

D．政府机关