Polish_notation loading ...