#include <sysdeps/unix/alpha/pipe.S>