method
header key =
string_of_sv (call_method sv
"header"
[sv_of_string key])