block currently used [...] in the User-defined types [...] The user-defined types

is not necessarily the current [...] User Manual

to the application currently [...] application : Current [...] , the user confirms

is a current safety [...] Safety User Manual

are available to the user [...] be inserted at the current

be fulfilled by the user [...] The current S

be fulfilled by the user [...] , the current direction

the currently associated [...] user-defined port