Hi there, I can't find any function which will convert a file path from relative to absolute. C# and Java both have one: Path.GetAbsolutePath or something similar. Is there one? Do you think this is a good enough solution? char[] toabs(char[] filepath) out (c) { assert (isabs(c)); } body { return (join(getcwd(), filepath)); } Cheers, Reiner