#module std.global func get(in input) -> T { #builtin } func put(out output, T value) -> #type_void { #builtin } func fires(#type_portlike) -> bool { #builtin } func create(#type_integerlike length) -> T[] { #builtin } func length(#type_arraylike array) -> u32 { #builtin } func assert(bool condition) -> #type_void { #builtin } func print(string message) -> #type_void { #builtin }