// This file was generated by hand (c) Kristof Teichel June 16 2016 /* */ A[] deadlock imply P_ClientBehavior.FINISH_PROCEDURE