{"shas":[["93f954ddc5b378222f054c1844fe22c2d4d712a6","7a81af3e591ac713f81ea1efe93dcf36157d8376@immerda.ch","some fixes and a script that runs all our tests.\n! dumpAddr breaks for methods that don't use the method object !","o"]],"ref":"refs/heads/pinocchio4","size":1,"head":"93f954ddc5b378222f054c1844fe22c2d4d712a6","push_id":33520608}