init: Fix two erroneous specs
init: Fix two erroneous specs

While at it, introduced a state() type and used it in some place.

dgud/otp,bsmr-erlang/otp,lightcyphers/otp,sammoth-wazoku/otp,c-rack/otp,tuncer/otp,matwey/otp,cobusc/otp,emacsmirror/erlang,getong/otp,vladdu/otp,jemsbhai/otp,ader1990/otp,schlagert/otp,awetzel/otp,beni55/otp,palas/otp,sitexa/otp,dgud/otp,lrascao/otp,uabboli/otp,enikki/otp,jamesruan/otp,weisslj/otp,tuncer/otp,bsmr-erlang/otp,ferd/otp,vic/otp,lucafavatella/otp,saleyn/otp,GinjaNinja32/otp,paulcager/otp,aboroska/otp,entropiae/otp,bsmr-erlang/otp,jemsbhai/otp,neeraj9/otp,jinshana/otp,saleyn/otp,mikpe/otp,fenollp/otp,goertzenator/otp,goertzenator/otp,cobusc/otp,yangchengjian/otp,RJ/otp,RoadRunnr/otp,bjorng/otp,msantos/otp,legoscia/otp,ahmedshafeeq/otp,aboroska/otp,vladdu/otp,sammoth-wazoku/otp,schlagert/otp,klarna/otp,paladim/otp,aboroska/otp,gjaldon/otp,VincentHHL/otp,benoitc/otp-1,isvilen/otp,massemanet/otp,bernardd/otp,paulcager/otp,falkevik/otp,gjaldon/otp,beni55/otp,lightcyphers/otp,g-andrade/otp,dgud/otp,cobusc/otp,RoadRunnr/otp,goertzenator/otp,platinumthinker/otp,ader1990/otp,release-project/otp,RaimoNiskanen/otp,msantos/otp,jj1bdx/otp,cnbin/otp,RoadRunnr/otp,jamesruan/otp,theom/otp,rlipscombe/otp,matwey/otp,RoadRunnr/otp,vladdu/otp,lantti/otp,emacsmirror/erlang,jemsbhai/otp,johanclaesson/otp,awetzel/otp,lrascao/otp,vladdu/otp,hairyhum/otp,msantos/otp,cnbin/otp,Teino1978-Corp/erlang-otp,erlang/otp,bsmr-erlang/otp,sdebnath/otp,platinumthinker/otp,mikpe/otp,VincentHHL/otp,paladim/otp,entropiae/otp,release-project/otp,ferd/otp,bsmr-erlang/otp,derek121/otp,erlang/otp,NOMORECOFFEE/otp,msantos/otp,weisslj/otp,lianghaivv/otp,ahmedshafeeq/otp,schlagert/otp,legoscia/otp,jj1bdx/otp,vic/otp,aboroska/otp,bugs-erlang-org/otp,tuncer/otp,rlipscombe/otp,isvilen/otp,gjaldon/otp,RGafiyatullin/otp,vic/otp,cnbin/otp,bugs-erlang-org/otp,riverrun/otp,Teino1978-Corp/otp,entropiae/otp,goertzenator/otp,bernardd/otp,goertzenator/otp,paladim/otp,lrascao/otp,massemanet/otp,dgud/otp,fenollp/otp,saleyn/otp,matwey/otp,riverrun/otp,derek121/otp,sammoth-wazoku/otp,lianghaivv/otp,emile/otp,jj1bdx/otp,tuncer/otp,krishnakumar4a4/otp,ahmedshafeeq/otp,kvakvs/otp,cnbin/otp,theom/otp,lianghaivv/otp,sitexa/otp,falkevik/otp,lhslll/otp,potatosalad/otp,marquisthunder/otp,schlagert/otp,Teino1978-Corp/otp,RGafiyatullin/otp,uabboli/otp,RGafiyatullin/otp,paladim/otp,jamesruan/otp,benoitc/otp-1,lantti/otp,enikki/otp,neeraj9/otp,emile/otp,vladdu/otp,Teino1978-Corp/otp,bugs-erlang-org/otp,falkevik/otp,lemenkov/otp,NOMORECOFFEE/otp,tuncer/otp,emacsmirror/erlang,falkevik/otp,platinumthinker/otp,palas/otp,paulcager/otp,bernardd/otp,g-andrade/otp,bugs-erlang-org/otp,sdebnath/otp,rlipscombe/otp,theom/otp,getong/otp,RaimoNiskanen/otp,g-andrade/otp,emile/otp,RichMorin/otp,rlipscombe/otp,johanclaesson/otp,RoadRunnr/otp,saleyn/otp,ader1990/otp,electricimp/otp,bernardd/otp,legoscia/otp,fenollp/otp,jinshana/otp,electricimp/otp,bjorng/otp,emacsmirror/erlang,GinjaNinja32/otp,vinoski/otp,lantti/otp,awetzel/otp,riverrun/otp,theom/otp,benoitc/otp-1,vic/otp,cnbin/otp,RoadRunnr/otp,jemsbhai/otp,electricimp/otp,neeraj9/otp,lemenkov/otp,hairyhum/otp,lrascao/otp,marquisthunder/otp,cobusc/otp,vinoski/otp,palas/otp,aboroska/otp,lightcyphers/otp,benoitc/otp-1,bjorng/otp,paladim/otp,legoscia/otp,kvakvs/otp,platinumthinker/otp,sdebnath/otp,sdebnath/otp,jj1bdx/otp,beni55/otp,riverrun/otp,bernardd/otp,legoscia/otp,NOMORECOFFEE/otp,enikki/otp,bsmr-erlang/otp,lantti/otp,gjaldon/otp,VincentHHL/otp,aboroska/otp,mikpe/otp,benoitc/otp-1,isvilen/otp,matwey/otp,lucafavatella/otp,matwey/otp,krishnakumar4a4/otp,platinumthinker/otp,yangchengjian/otp,release-project/otp,lianghaivv/otp,vic/otp,dgud/otp,krishnakumar4a4/otp,cnbin/otp,ferd/otp,awetzel/otp,erlang/otp,Teino1978-Corp/otp,kvakvs/otp,erlang/otp,haguenau/otp,lhslll/otp,beni55/otp,enikki/otp,mikpe/otp,hairyhum/otp,lhslll/otp,NOMORECOFFEE/otp,vladdu/otp,erlang/otp,release-project/otp,bugs-erlang-org/otp,sammoth-wazoku/otp,jamesruan/otp,jamesruan/otp,bjorng/otp,klarna/otp,paladim/otp,vic/otp,aboroska/otp,jinshana/otp,RJ/otp,bjorng/otp,vinoski/otp,mikpe/otp,emile/otp,lucafavatella/otp,goertzenator/otp,sammoth-wazoku/otp,lrascao/otp,RJ/otp,lianghaivv/otp,palas/otp,hairyhum/otp,psyeugenic/otp,haguenau/otp,haguenau/otp,massemanet/otp,dgud/otp,basho/otp,jj1bdx/otp,Teino1978-Corp/otp,tuncer/otp,rlipscombe/otp,theom/otp,mujiatong/otp,theom/otp,isvilen/otp,g-andrade/otp,johanclaesson/otp,legoscia/otp,jinshana/otp,psyeugenic/otp,NOMORECOFFEE/otp,stolen/otp,c-rack/otp,lhslll/otp,rlipscombe/otp,vladdu/otp,getong/otp,legoscia/otp,neeraj9/otp,getong/otp,RJ/otp,sdebnath/otp,matwey/otp,ferd/otp,rlipscombe/otp,stolen/otp,vinoski/otp,msantos/otp,lhslll/otp,sitexa/otp,ahmedshafeeq/otp,derek121/otp,g-andrade/otp,stolen/otp,riverrun/otp,mujiatong/otp,marquisthunder/otp,ferd/otp,kvakvs/otp,release-project/otp,fenollp/otp,marquisthunder/otp,weisslj/otp,stolen/otp,RoadRunnr/otp,gjaldon/otp,psyeugenic/otp,bsmr-erlang/otp,vic/otp,RaimoNiskanen/otp,Teino1978-Corp/erlang-otp,lucafavatella/otp,neeraj9/otp,isvilen/otp,lightcyphers/otp,dumbbell/otp,release-project/otp,bugs-erlang-org/otp,lemenkov/otp,dumbbell/otp,lightcyphers/otp,isvilen/otp,electricimp/otp,fenollp/otp,bsmr-erlang/otp,paulcager/otp,erlang/otp,sammoth-wazoku/otp,johanclaesson/otp,NOMORECOFFEE/otp,psyeugenic/otp,entropiae/otp,release-project/otp,mujiatong/otp,enikki/otp,goertzenator/otp,c-rack/otp,theom/otp,lucafavatella/otp,sdebnath/otp,RaimoNiskanen/otp,falkevik/otp,dumbbell/otp,erlang/otp,ferd/otp,beni55/otp,benoitc/otp-1,paulcager/otp,RichMorin/otp,getong/otp,platinumthinker/otp,ahmedshafeeq/otp,ader1990/otp,vladdu/otp,sitexa/otp,tuncer/otp,palas/otp,Teino1978-Corp/otp,uabboli/otp,marquisthunder/otp,enikki/otp,jemsbhai/otp,saleyn/otp,matwey/otp,dumbbell/otp,erlang/otp,uabboli/otp,sitexa/otp,haguenau/otp,lrascao/otp,vinoski/otp,Teino1978-Corp/erlang-otp,c-rack/otp,palas/otp,c-rack/otp,mikpe/otp,lhslll/otp,electricimp/otp,mujiatong/otp,c-rack/otp,derek121/otp,Teino1978-Corp/erlang-otp,awetzel/otp,emile/otp,g-andrade/otp,potatosalad/otp,dgud/otp,ferd/otp,jinshana/otp,NOMORECOFFEE/otp,marquisthunder/otp,Teino1978-Corp/otp,lightcyphers/otp,lemenkov/otp,psyeugenic/otp,emile/otp,basho/otp,emacsmirror/erlang,awetzel/otp,awetzel/otp,lantti/otp,RJ/otp,beni55/otp,matwey/otp,kvakvs/otp,sitexa/otp,jj1bdx/otp,lucafavatella/otp,RichMorin/otp,basho/otp,GinjaNinja32/otp,ader1990/otp,basho/otp,Teino1978-Corp/otp,falkevik/otp,stolen/otp,fenollp/otp,benoitc/otp-1,lrascao/otp,saleyn/otp,johanclaesson/otp,mujiatong/otp,RichMorin/otp,cobusc/otp,getong/otp,mikpe/otp,paladim/otp,benoitc/otp-1,paulcager/otp,lemenkov/otp,basho/otp,RJ/otp,bernardd/otp,jemsbhai/otp,basho/otp,lightcyphers/otp,c-rack/otp,potatosalad/otp,derek121/otp,hairyhum/otp,vinoski/otp,sitexa/otp,RichMorin/otp,RoadRunnr/otp,electricimp/otp,awetzel/otp,isvilen/otp,getong/otp,RGafiyatullin/otp,weisslj/otp,schlagert/otp,GinjaNinja32/otp,cobusc/otp,lianghaivv/otp,sdebnath/otp,sammoth-wazoku/otp,potatosalad/otp,uabboli/otp,lrascao/otp,potatosalad/otp,massemanet/otp,yangchengjian/otp,johanclaesson/otp,lantti/otp,psyeugenic/otp,bjorng/otp,dumbbell/otp,VincentHHL/otp,lemenkov/otp,jamesruan/otp,ahmedshafeeq/otp,theom/otp,beni55/otp,vinoski/otp,emile/otp,psyeugenic/otp,paladim/otp,mujiatong/otp,RGafiyatullin/otp,riverrun/otp,lantti/otp,gjaldon/otp,riverrun/otp,massemanet/otp,RGafiyatullin/otp,jj1bdx/otp,weisslj/otp,mujiatong/otp,fenollp/otp,bjorng/otp,g-andrade/otp,Teino1978-Corp/erlang-otp,bernardd/otp,derek121/otp,stolen/otp,klarna/otp,lrascao/otp,Teino1978-Corp/erlang-otp,palas/otp,schlagert/otp,cobusc/otp,entropiae/otp,klarna/otp,haguenau/otp,palas/otp,bjorng/otp,dumbbell/otp,basho/otp,neeraj9/otp,c-rack/otp,derek121/otp,gjaldon/otp,RGafiyatullin/otp,basho/otp,entropiae/otp,uabboli/otp,emacsmirror/erlang,g-andrade/otp,cnbin/otp,hairyhum/otp,uabboli/otp,potatosalad/otp,aboroska/otp,NOMORECOFFEE/otp,fenollp/otp,klarna/otp,falkevik/otp,GinjaNinja32/otp,RaimoNiskanen/otp,uabboli/otp,cnbin/otp,matwey/otp,yangchengjian/otp,mikpe/otp,potatosalad/otp,krishnakumar4a4/otp,isvilen/otp,RichMorin/otp,weisslj/otp,mikpe/otp,krishnakumar4a4/otp,VincentHHL/otp,kvakvs/otp,RJ/otp,weisslj/otp,RichMorin/otp,platinumthinker/otp,electricimp/otp,krishnakumar4a4/otp,goertzenator/otp,neeraj9/otp,bjorng/otp,vladdu/otp,bjorng/otp,hairyhum/otp,cobusc/otp,electricimp/otp,vinoski/otp,massemanet/otp,dumbbell/otp,vinoski/otp,marquisthunder/otp,krishnakumar4a4/otp,hairyhum/otp,potatosalad/otp,sdebnath/otp,vic/otp,jamesruan/otp,emacsmirror/erlang,jinshana/otp,beni55/otp,goertzenator/otp,falkevik/otp,lemenkov/otp,mujiatong/otp,yangchengjian/otp,lhslll/otp,gjaldon/otp,haguenau/otp,GinjaNinja32/otp,emile/otp,electricimp/otp,vinoski/otp,jemsbhai/otp,falkevik/otp,lianghaivv/otp,getong/otp,fenollp/otp,bugs-erlang-org/otp,kvakvs/otp,dumbbell/otp,saleyn/otp,bernardd/otp,massemanet/otp,yangchengjian/otp,stolen/otp,platinumthinker/otp,sitexa/otp,johanclaesson/otp,kvakvs/otp,saleyn/otp,dgud/otp,bugs-erlang-org/otp,marquisthunder/otp,RJ/otp,yangchengjian/otp,bsmr-erlang/otp,emacsmirror/erlang,jinshana/otp,johanclaesson/otp,paulcager/otp,aboroska/otp,VincentHHL/otp,RaimoNiskanen/otp,getong/otp,isvilen/otp,GinjaNinja32/otp,stolen/otp,erlang/otp,g-andrade/otp,basho/otp,krishnakumar4a4/otp,Teino1978-Corp/erlang-otp,ahmedshafeeq/otp,klarna/otp,massemanet/otp,msantos/otp,derek121/otp,GinjaNinja32/otp,isvilen/otp,lemenkov/otp,lucafavatella/otp,dgud/otp,erlang/otp,msantos/otp,potatosalad/otp,RGafiyatullin/otp,dumbbell/otp,g-andrade/otp,ferd/otp,haguenau/otp,bernardd/otp,RoadRunnr/otp,emile/otp,dgud/otp,emacsmirror/erlang,release-project/otp,ader1990/otp,enikki/otp,legoscia/otp,Teino1978-Corp/erlang-otp,enikki/otp,jinshana/otp,kvakvs/otp,schlagert/otp,lantti/otp,riverrun/otp,ahmedshafeeq/otp,psyeugenic/otp,jamesruan/otp,VincentHHL/otp,jemsbhai/otp,release-project/otp,RaimoNiskanen/otp,neeraj9/otp,jj1bdx/otp,ahmedshafeeq/otp,entropiae/otp,yangchengjian/otp,RichMorin/otp,ader1990/otp,VincentHHL/otp,lhslll/otp,dumbbell/otp,paulcager/otp,RaimoNiskanen/otp,legoscia/otp,rlipscombe/otp,mikpe/otp,potatosalad/otp,uabboli/otp,lianghaivv/otp,weisslj/otp,jj1bdx/otp,saleyn/otp,emacsmirror/erlang,lucafavatella/otp,schlagert/otp,jj1bdx/otp,rlipscombe/otp,klarna/otp,rlipscombe/otp,ader1990/otp,lightcyphers/otp,sammoth-wazoku/otp,massemanet/otp,haguenau/otp,RaimoNiskanen/otp,entropiae/otp,ferd/otp,getong/otp,weisslj/otp,klarna/otp,tuncer/otp,msantos/otp,tuncer/otp