020+ prompt> okPHP Warning: PHP Startup: readline: Unable to initialize module
021+ Module compiled with build ID=API20170718,TS
022+ PHP compiled with build ID=API20170718,TS,debug
023+ These options need to match
024+ in Unknown on line 0
025+
026+ Warning: PHP Startup: readline: Unable to initialize module
027+ Module compiled with build ID=API20170718,TS
028+ PHP compiled with build ID=API20170718,TS,debug
029+ These options need to match
030+ in Unknown on line 0
031+
032+ [L11 0x7fb9bae810c0 FAST_CALL J8 ~0 %s/stepping_001.php]
033+ >00011: } finally {
034+ 00012: echo " ... ok";
020- prompt> ok
021- [L11 %s FAST_CALL J8 ~%d %s]
022- >00011: } finally {
023- 00012: echo " ... ok";
024- 00013: }
025- prompt> [L12 %s ECHO " ... ok" %s]
026- >00012: echo " ... ok";
036+ prompt> [L12 0x7fb9bae81100 ECHO " ... ok" %s/stepping_001.php]
037+ >00012: echo " ... ok";
038+ 00013: }