load_exec() no longer return fixnum value for no_exec; should close #1569