handling synchronized procedures
define version in file VERSION
fix bugs on handling synchronized procedure
fix bugs
fix bugs on synchronized actions
fix bugs on synchronized actions