diff --git a/src/protocol/mod.rs b/src/protocol/mod.rs
index 28b49cea928f7667630eb86e32814cbb8792360b..8a479bec378d74d907e86d322134bde9c0e794a0 100644
--- a/src/protocol/mod.rs
+++ b/src/protocol/mod.rs
@@ -215,6 +215,9 @@ pub trait RunContext {
     fn fires(&mut self, port: PortId) -> Option<Value>; // None if not yet branched
     fn performed_fork(&mut self) -> Option<bool>; // None if not yet forked
     fn created_channel(&mut self) -> Option<(Value, Value)>; // None if not yet prepared
+    fn performed_select_start(&mut self) -> bool; // true if performed
+    fn performed_select_register_port(&mut self) -> bool; // true if registered
+    fn performed_select_wait(&mut self) -> Option<u32>; // None if not yet notified runtime of select blocker
 }
 
 pub struct ProtocolDescriptionBuilder {