#curses
Martin,
In general, that's the only way to do it (i.e. have the high-level
language "assume" it knows what the types are). Some development systems
may allow for explicit typechecking, but most do not, so the only way to do
it is to tell the high-level language(s) what they are, and maintain those
include files with the assembler source.
Joe