[fnc.devmap_get_phone] ;
tentative {
	!devmap.device_register {
		!devmap.ipc_m_data_write /* name */
	} ;
}