user_defined_function



INSTANCE user_defined_function#1;
	body = ?b;
END_INSTANCE;