Edit File: syscalls.stpm
// NB: The python tapset uses the following macro from the syscalls macros. @define __pointer(val) %( # Since we can't really know if this is a compat task, just return # the value we've got. @val %)