~martin-decky/helenos/rcu

?ipc_m_connect_me_to ;

alternative (service; rd; console) {
	!service.ipc_m_connect_me_to /* forward */
}
+
(
	(
		?device_get_handle {
			?ipc_m_data_write /* device name */
		} +
		
		?device_get_name +
		?device_null_create +
		?device_null_destroy +
		?device_get_count +
		
		?device_get_devices {
			?ipc_m_data_read /* buffer */
		}
	)*
) ;
?ipc_m_phone_hungup