Problem: does not generate correct methods in some cases

Solution: if method doesn't have an explicit 'return' attribute,
return 0. We don't use void methods, so the API can consistently
report an interrupt with -1 or NULL.