016+ PHP Warning: PHP Startup: readline: Unable to initialize module
017+ Module compiled with build ID=API20170718,TS
018+ PHP compiled with build ID=API20170718,TS,debug
019+ These options need to match
020+ in Unknown on line 0
021+
022+ Warning: PHP Startup: readline: Unable to initialize module
023+ Module compiled with build ID=API20170718,TS
024+ PHP compiled with build ID=API20170718,TS,debug
025+ These options need to match
026+ in Unknown on line 0
027+ [L7 0x7ff911e810a0 FAST_RET ~0 try-catch(0) %s/exceptions_003.php]
028+ [L9 0x7ff911e810e0 CATCH<-224> "Error" $e 1 %s/exceptions_003.php]
016- [L7 %s FAST_RET ~%d try-catch(0) %s]
017- [L9 %s CATCH<-%d> "Error" $e 1 %s]
018- >00005: x();
019- 00006: } finally {
020- 00007: print "ok\n";
021- prompt> [L10 %s ECHO<1> "caught\n" %s]
022- >00010: print "caught\n";
023- 00011: }
024- 00012:
025- prompt> caught
026- [L14 %s RETURN<-1> 1 %s]
027- >00014:
028- prompt>
029+ >00005: x();
030+ 00006: } finally {
031+ 00007: print "ok\n";
032+ prompt> [L10 0x7ff911e81100 ECHO<1> "caught\n" %s/exceptions_003.php]
033+ >00010: print "caught\n";
034+ 00011: }
035+ 00012:
036+ prompt> caught
037+ [L14 0x7ff911e81120 RETURN<-1> 1 %s/exceptions_003.php]
038+ >00014:
039+ prompt>