# rust module doc comment filter
def rmdc(s):
    return '//! ' + s

# rust doc comment filter
def rdc(s):
    return '/// ' + s

# Expects v to be 'v\d+', throws otherwise
def to_api_version(v):
	assert len(v) >= 2 and v[0] == 'v'
	return v[1:]