// @has foobar/fn.ok.html
pub fn ok() {}